Re: [Maria-developers] Is it a bug?