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.