On Tue, Oct 12, 2021 at 10:46 AM Alvaro Herrera <alvhe...@alvh.no-ip.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


Reply via email to