MariaDB 10.0.12 was recently released, and is available for download here:
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:
- Updated Spider storage engine to version 3.2.4.
- Updated Connect engine.
- Updated pcre to version 8.35.
- Exists-to-In optimization is now enabled by default.
- performance_schema is now disabled by default.
You can read more about the 10.0.12 release here:
And if interested, you can review the full list of changes in 10.0.12 (changelogs) here:
Hope this helps.