[Maria-discuss] MariaDB 10.0.15 now available