On Fri, Oct 1, 2021 at 2:35 PM Bossart, Nathan <bossa...@amazon.com> wrote:
> On 9/30/21, 3:44 PM, "Peter Geoghegan" <p...@bowt.ie> wrote:
> > I will commit this patch in a few days, barring objections.
>
> +1

Okay, pushed.

Thanks
-- 
Peter Geoghegan


Reply via email to