Re: [Maria-developers] MariaDB 10.0 on POWER