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