MariaDB 10.3.12 releases: Popular MySQL branch version