maria-discuss team mailing list archive

[Daniel Bartholomew <dbart@xxxxxxxxxxx>]

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