reopen 954645 thanks > 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.
Actually, this is reproducible. Lucas
