[arch-announce] MariaDB 10.0 enters [extra]