On Thu, Sep 2, 2021 at 10:56 PM Noah Misch <n...@leadboat.com> wrote: > > Is there anything still standing in the way of committing this? > > I pushed it as commit 97ddda8.
Oh, thanks. Sorry, I had missed that. -- Robert Haas EDB: http://www.enterprisedb.com
