[Maria-discuss] MariaDB 5.1.62 and 5.2.12 now available