reopen 954620 thanks On 22/03/20 at 14:21 +0100, Lucas Nussbaum wrote: > Hi, > > I'm closing those bugs: those failures are no longer reproducible, > checking again 12 hours later. Either they were caused by another > package that was fixed in the meantime, or they are random failures. This is actually reproducible. Lucas