[MariaDB Announce] MariaDB 5.1.62 and 5.2.12 now available