On Sun, Nov 21, 2021 at 4:29 PM Peter Geoghegan <p...@bowt.ie> wrote: > On Fri, Nov 19, 2021 at 11:51 AM Alvaro Herrera <alvhe...@alvh.no-ip.org> > wrote: > > I certainly do not object to removing it. > > I'd like to do so soon. I'll wait a few more days, in case Pavan objects.
Pushed just now. Thanks -- Peter Geoghegan