On Mon, Sep 5, 2022 at 12:43 PM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:> Barring any objections I will commit this patch within the next few days.
Pushed this just now.
Thanks-- Peter Geoghegan