> On 10 Jul 2020, at 23:55, Daniel Gustafsson <[email protected]> wrote: > >> On 10 Jul 2020, at 23:47, Tom Lane <[email protected]> wrote: >> Thomas Munro <[email protected]> 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
