On Fri, Oct 1, 2021 at 2:35 PM Bossart, Nathan <bossartn(at)amazon(dot)com> wrote:
> On 9/30/21, 3:44 PM, "Peter Geoghegan" <pg(at)bowt(dot)ie> wrote:
> > I will commit this patch in a few days, barring objections.
>
> +1
Okay, pushed.
Thanks
--
Peter Geoghegan