On Sat, Nov 12, 2016 at 12:29 PM, Sergei Golubchik <serg@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