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


Reply via email to