Re: Tom Lane 2019-09-26 <12685.1569510...@sss.pgh.pa.us> > We haven't seen it in quite some time in HEAD, though I fear that's > just due to bad luck or change of timing of unrelated tests.
The v13 package builds that are running every 6h here haven't seen a problem yet either, so the probability of triggering it seems very low. So it's not a pressing problem. (There's some extension modules where the testsuite fails at a much higher rate, getting all targets to pass at the same time is next to impossible there :(. ) Christoph
