MariaDB 10.0.19 was recently released, and is available for download here:
This is the tenth GA release of MariaDB 10.0, and 20th overall release of MariaDB 10.0.
This was a quick release in order to get a fix for a mysql_upgrade bug (MDEV-8115) introduced in 10.0.18, so there is that, and only 9 other bug fixes.
Here are the main items of note:
- Fixed the server crash caused by mysql_upgrade ( …