On Mon, Jul 17, 2023 at 04:42:47PM -0400, Tom Lane wrote:
> So I'm now satisfied that the problem is explained, and I'll go
> put in the needful #include. Thanks for the report!
Thanks for the fix. I have just noticed this thread after-the-fact.
--
Michael