On Tue, 14 Jul 2020 at 21:00, Tom Ellis
<tom-lists-postgresql(dot)org(at)jaguarpaw(dot)co(dot)uk> wrote:
> Thanks Tom. Could you send a link to the fix? I'd be interested to
> see what the problem was.
https://git.postgresql.org/gitweb/?p=postgresql.git;a=commit;h=a742ecf9c63d454ccb107a357288c8ec1444ca12
David