Hi,
On 2019-09-17 11:55:01 -0400, Jonathan S. Katz wrote:
> On 9/17/19 11:53 AM, Andres Freund wrote:
> > Hi,
> >
> > https://www.postgresql.org/docs/devel/release-12.html now isn't
> > reachable, but for a while was the only URL we were able to hand out.
>
> https://www.postgresql.org/docs/12/release-12.html works fine now. There
> were a few places on the site that did not have this reference.
Yes, but before the release being done we can't hand that out? So I
don't think that's sufficient. Can't we have a rule that redirects to
devel/release-NN.html to /NN/release-NN.html upon a 404?
Greetings,
Andres Freund