MariaDB 10.4.12 releases, MySQL branch version