On Mon, Feb 15, 2021 at 5:30 PM Andres Freund <andres(at)anarazel(dot)de> wrote:> Done. Thanks for noticing/reporting!
Great, thanks!
-- Peter Geoghegan