On Mon, Sep 5, 2022 at 12:43 PM Peter Geoghegan <p...@bowt.ie> 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