On Tue, Oct 12, 2021 at 10:46 AM Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> wrote:> Yeah, this one is new as of commit 1e55e7d1755c; ISTM we should just fix it.
Agreed. Pushed Pavel's patch just now.
Thanks-- Peter Geoghegan