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