[Maria-developers] Buildbot confused by non-monotonicity of revision numbers in the tree