On Sun, Nov 21, 2021 at 4:29 PM Peter Geoghegan <[email protected]> wrote: > On Fri, Nov 19, 2021 at 11:51 AM Alvaro Herrera <[email protected]> > 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
