On Fri, Sep 01, 2023 at 03:53:54PM -0400, Robert Haas wrote: > I'm not an expert on this code but I looked at this patch briefly and > it seems OK to me.
Thanks for taking a look. Committed. -- Nathan Bossart Amazon Web Services: https://aws.amazon.com