On Tue, Jun 22, 2021 at 8:18 AM Tom Lane <[email protected]> wrote: > OK, no objections then.
Pushed. Thanks. -- Peter Geoghegan
On Tue, Jun 22, 2021 at 8:18 AM Tom Lane <[email protected]> wrote: > OK, no objections then.
Pushed. Thanks. -- Peter Geoghegan