On Thu, Sep 2, 2021 at 10:56 PM Noah Misch <noah@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