On Wed, Nov 16, 2022 at 4:34 PM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:> WFM.
Attached is v3.
Plan is to commit this later on today, barring objections.
Thanks-- Peter Geoghegan