[Maria-discuss] MariaDB 10.1.12 and MariaDB Galera Cluster 10.0.24 & 5.5.48 now available