On Tue, Jun 22, 2021 at 8:18 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> OK, no objections then.
Pushed. Thanks.
-- Peter Geoghegan