On Thu, Sep 29, 2022 at 10:47:06AM -0400, Tom Lane wrote:> OK. Will push shortly.
Thanks!
-- Nathan BossartAmazon Web Services: https://aws.amazon.com