On Mon, Feb 15, 2021 at 5:30 PM Andres Freund <[email protected]> wrote:
> Done. Thanks for noticing/reporting!

Great, thanks!

-- 
Peter Geoghegan


Reply via email to