[MariaDB Announce] MariaDB 10.0.2-alpha now available