[Maria-discuss] MariaDB Galera Cluster 10.0.17 and 5.5.42 now available