On Thu, Jun 18, 2020 at 02:26:04PM +0000, Winfield, Steven wrote: > Many thanks for the pointers - I've submitted a patch. Thanks Steve, I have noticed the patch. For the sake of the archives, it is here: https://www.postgresql.org/message-id/AM5PR0901MB1587E47B1ACF23C6089DFCA3FD9B0%40AM5PR0901MB1587.eurprd09.prod.outlook.com -- Michael
Attachment:
signature.asc
Description: PGP signature