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