Hello, Achim Gratz <strom...@nexgo.de> writes:
> Two test failures in current HEAD: I cannot reproduce any of them, interactively or in batch mode[1]. I'm not sure where they could come from. Regards, [1] Though, I have 8 unexpected failures there, but not related to those described here. -- Nicolas Goaziou