On Fri, Oct 1, 2021 at 2:35 PM Bossart, Nathan <[email protected]> wrote: > On 9/30/21, 3:44 PM, "Peter Geoghegan" <[email protected]> wrote: > > I will commit this patch in a few days, barring objections. > > +1
Okay, pushed. Thanks -- Peter Geoghegan
