Teodor Sigaev <teo...@sigaev.ru> writes: > Hm, it was a random failure?
Yeah, whelk seems to be a bit flaky lately. Not very clear why, but it's shown several failures that other BF members didn't. https://buildfarm.postgresql.org/cgi-bin/show_history.pl?nm=whelk&br=HEAD Curiously, it's only HEAD that's flapping; the back branches are fine. regards, tom lane
