Brad Rogers schreef op 2018-07-06 12:37:


It's strange also that nobody using sid /seems/ to have been affected by
the problem.  Or maybe they were, knew the workaround and forgot to
report the bug.  Who knows?....

They have found and reported this bug multiple times:

see bug numbers: 901919, 901932, 901990, 902248, 902661, 902773, 902868, 902891

---
Floris

Reply via email to