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:
Due to the mysql_upgrade bug fix as well as all of the fixes in MariaDB 10.0.18 (including 5 Security fixes), I would definitely recommend upgrading to this if you are running a prior version of MariaDB 10.0, especially 10.0.18.
You can read more about the 10.0.19 release here:
And if interested, you can review the full list of changes in 10.0.19 (changelogs) here:
Hope this helps.