MariaDB 10.0.12 was recently released, and is available for download here:
https://downloads.mariadb.org/mariadb/10.0.12/
This is the third GA release of MariaDB 10.0, and 13th overall release of MariaDB 10.0.
This is primarily a bug-fix release.
Here are the main items of note:
You can read more about the 10.0.12 release here:
https://mariadb.com/kb/en/mariadb-10012-release-notes/
And if interested, you can review the full list of changes in 10.0.12 (changelogs) here:
https://mariadb.com/kb/en/mariadb-10012-changelog/
Hope this helps.