Dear all, I also experience this bug.
For my configuration please have a look at the (possibly related) bug #687203. Best regards, -- Carsten Otto [email protected] LuFG Informatik 2 http://verify.rwth-aachen.de/otto/ RWTH Aachen phone: +49 241 80-21211
signature.asc
Description: Digital signature
