MariaDB 10.0.14 was recently released, and is available for download here:
This is the fifth GA release of MariaDB 10.0, and 15th overall release of MariaDB 10.0.
This is primarily a bug-fix release. (MariaDB 10.0 is the current stable series of MariaDB. It is an evolution of the MariaDB 5.5 with several entirely new features not found anywhere else and with backported and reimplemented features from MySQL 5.6.)
Here are the main items of note: