[Maria-discuss] MariaDB 10.0.16 now available