Don’t Migrate to MariaDB just yet. MySQL is Back!