the status of MariaDB mirrors