> 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! cheers ./daniel