Comments - Mirror Sites for MariaDB
Content reproduced on this site is the property of its respective owners,
and this content is not reviewed in advance by MariaDB. The views, information and opinions
expressed by this content do not necessarily represent those of MariaDB or any other party.
This is probably an unintended consequence of some recent changes on the server, we'll look at getting this fixed during the course of the day tomorrow. In the meantime, you can use hasky.askmonty.org as a workaround.