Re: https://apt.postgresql.org/ redirects to a MediaWiki error

On Wed, 3 Oct 2018, Tom Lane wrote:

> Vik Fearing <vik.fearing@2ndquadrant.com> writes:
> >>> * Christophe Pettus (xof@thebuild.com) wrote:
> >>>> https://apt.postgresql.org/ redirects to https://wiki.postgresql.org/wiki/Apt, which gives us:
> >>>> MediaWiki internal error.
>
> >> and it's still not working for me.
>
> > That's still true.
>
> I see the same.

I have invoked https://wiki.postgresql.org/index.php?title=Apt&oldid=32404
and after this both https://wiki.postgresql.org/wiki/Apt and https://apt.postgresql.org/
work (as of Wed Oct  3 23:13:14 UTC 2018).

But this PHP or SQL error should be investigated, whatever it was.