12 Nov
2016
12 Nov
'16
6:29 p.m.
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 security@mariadb.org