Brad Rogers schreef op 2018-07-06 12:37:
It's strange also that nobody using sid /seems/ to have been affected bythe 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