Julien Rouhaud <rjuju123(at)gmail(dot)com> writes:
> On Sat, May 4, 2019 at 2:17 PM Michael Paquier <michael(at)paquier(dot)xyz> wrote:
>> We are very close to the next minor release, so it may not be that
>> wise to commit a fix for that issue now as we should have a couple of
>> clean buildfarm clean runs.
> Agreed.
+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.
regards, tom lane