On Thu, May 9, 2019 at 3:32 AM Michael Paquier <mich...@paquier.xyz> wrote: > > On Sat, May 04, 2019 at 11:48:53AM -0400, Tom Lane wrote: > > +1, waiting till after the minor releases are tagged seems wisest. > > We can still push it before 12beta1, so it will get tested in the beta > > period. > > The new minor releases have been tagged, so committed.
Thanks a lot!
