Re: [Maria-developers] A serious merge bug in 5.3.