On Wed, Jun 22, 2022 at 01:14:57PM -0400, Robert Haas wrote:> Oops, I missed this thread. I think the patch is correct, so I have> committed it.
Thanks, Robert.--Michael