Peter Geoghegan <[email protected]> writes: > On Tue, Jun 22, 2021 at 8:18 AM Tom Lane <[email protected]> wrote: >> OK, no objections then.
> Pushed. Thanks.
Um. You probably should have waited for beta2 to be tagged.
No harm done likely, but it's not per release process.
regards, tom lane
