Re: [Maria-developers] Buildbot failure in 10.0-base