Hi, Guillaume! On Nov 12, Guillaume Lefranc wrote: > Hi Sergei! > > I am not sure where the mirror is. I needed a specific release of MariaDB > (10.1.16) and the downloads page redirected me to this server. I'm just > imagining what other, less informed users will experience themselves.
Ah, I see. I didn't go from the downloads page, I went directly to http://archive.mariadb.org/ and the mirror was right at the top of the page. In that case, hmm, perhaps we could just fix the download pages to redirect to the archive mirror for old releases? It's certainly easier than moving the archive itself. Regards, Sergei Chief Architect MariaDB and secur...@mariadb.org _______________________________________________ Mailing list: https://launchpad.net/~maria-discuss Post to : maria-discuss@lists.launchpad.net Unsubscribe : https://launchpad.net/~maria-discuss More help : https://help.launchpad.net/ListHelp