Comment 3 for bug 173042

Michael D. Adams (mdmkolbe) wrote :

I am not able to reproduce this bug for div0 or mod0 any more. Has it already been fixed?