Re: [Maria-developers] MariaDB 5.2.9