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