On Tue, Jun 22, 2021 at 9:43 AM Tom Lane <t...@sss.pgh.pa.us> wrote: > > Pushed. Thanks. > > Um. You probably should have waited for beta2 to be tagged. > No harm done likely, but it's not per release process.
Sorry about that. I was aware of the policy, but somehow overlooked that we were in the window between stamping and tagging. I'll be more careful about this in the future. -- Peter Geoghegan