MariaDB 10.0.13 was recently released, and is available for download here:
This is the fourth GA release of MariaDB 10.0, and 14th overall release of MariaDB 10.0.
This is primarily a bug-fix release.
Here are the main items of note:
- InnoDB upgraded to 5.6.19.
- XtraDB upgraded to 5.6.19-67.0. …