On Sat, Nov 12, 2016 at 12:29 PM, Sergei Golubchik <s...@mariadb.org> wrote: > 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.
That's a good suggestion. I've implemented it for old MariaDB releases. It appears to be working fine, but let me know if you have any issues with it. Thanks. -- Daniel Bartholomew, MariaDB Release Manager MariaDB | http://mariadb.com _______________________________________________ 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
