On Thu, May 9, 2019 at 3:32 AM Michael Paquier <michael(at)paquier(dot)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!