[Maria-discuss] MariaDB Galera Cluster 10.0.25 now available