MariaDB 10.0.10 is GA