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
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