> On 10 Jul 2020, at 23:55, Daniel Gustafsson <dan...@yesql.se> wrote: > >> On 10 Jul 2020, at 23:47, Tom Lane <t...@sss.pgh.pa.us> wrote: >> Thomas Munro <thomas.mu...@gmail.com> writes: > >>> The others required minor manual sleuthing to correct; I hope I found >>> the correct ISN ranges page. Please see attached. >> >> I didn't actually check any of these, but they look like sane changes. > > +1, looks good, thanks!
Since this is still in flight, I'm tacking on a few more in the attached diff that I stumbled across. gnu.org will redirect from http to https so we might as well have that in our docs from the start. cheers ./daniel
https_gnu.diff
Description: Binary data