Re: [Maria-developers] MySQL bug affects mariaDB