Re: [Maria-developers] Userstats patch applied to MariaDB 5.2