> On 10 Jul 2020, at 23:55, Daniel Gustafsson <daniel@yesql.se> wrote:
>
>> On 10 Jul 2020, at 23:47, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> Thomas Munro <thomas.munro@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