Re: [Maria-developers] Patches in 10.0 missing in 10.0-base, causing buildbot failures