[MariaDB Announce] MariaDB 10.1.12 and MariaDB Galera Cluster 10.0.24 & 5.5.48 now available