On Mon, Sep 5, 2022 at 12:43 PM Peter Geoghegan <[email protected]> wrote:
> Barring any objections I will commit this patch within the next few days.

Pushed this just now.

Thanks
-- 
Peter Geoghegan


Reply via email to