Back to bug 333
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| behrmann | 2006-07-08 13:05:59 CEST | Status | NEW | ASSIGNED |
| OS | Linux | All | ||
| Hardware | PC | All | ||
| behrmann | 2006-07-31 20:29:00 CEST | Status | ASSIGNED | RESOLVED |
| Resolution | --- | FIXED | ||
| Summary | leads to property check inconsistent with different trace options | Leads-to property check inconsistent with different trace options |
Back to bug 333