Thomas Munro <thomas(dot)munro(at)gmail(dot)com> writes:
> On Thu, Jun 18, 2020 at 1:42 PM Michael Paquier <michael(at)paquier(dot)xyz> wrote:
>> Thanks, applied this part to HEAD then after more testing.
> Hmm, somehow this (well I guess it's this commit based on timing and
> the area it touches, not sure exactly why) made cfbot's Windows build
> fail, like this:
Should now be possible to undo whatever hack you had to use ...
regards, tom lane