Re: [Maria-developers] Preparing to release MariaDB 5.2.7