Mikael Kjellström <mikael.kjellstrom@mksoft.nu> writes:
> And that seems to have done the trick. I started a manual run of HEAD
> on curculio and now it's green on the build farm.
> Thanks!
Thank *you*, for putting up a buildfarm member that caught this bug.
regards, tom lane