Re: [Maria-discuss] [Maria-developers] MySQL bug affects mariaDB