On Mon, Sep 9, 2024 at 12:20 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > I wrote: > > I too think it's good to go. If no one complains or asks for > > more time to review, I will push it Monday or so. > > And done.
I didn't see this thread until after the commit had already happened, but a belated +1 for this and any other cruft removal we can do in SPI-land. -- Robert Haas EDB: http://www.enterprisedb.com
