[Maria-discuss] MariaDB Galera Cluster 10.0.31 and Connector/Java 2.0.2 now available