On Sun, Nov 21, 2021 at 4:29 PM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:
> On Fri, Nov 19, 2021 at 11:51 AM Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)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