Back to bug 345
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| behrmann | 2006-09-09 12:28:44 CEST | Status | NEW | ASSIGNED |
| behrmann | 2006-09-09 12:33:00 CEST | Assignee | adavid | behrmann |
| Status | ASSIGNED | NEW | ||
| behrmann | 2006-09-09 12:33:19 CEST | Status | NEW | ASSIGNED |
| behrmann | 2006-09-23 13:31:31 CEST | Status | ASSIGNED | RESOLVED |
| Resolution | --- | FIXED | ||
| behrmann | 2007-03-02 22:26:26 CET | Component | Build system (UPPAAL) | all |
| Product | UPPAAL | Build system | ||
| Version | 4.0.2 | unspecified |
Back to bug 345