Just a heads up that MariaDB released new versions earlier today.
mariadb.com
MariaDB Community Server Release Notes
mariadb.com