Back to bug 1038068
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jens Petersen | 2014-01-22 01:40:50 UTC | Status | NEW | ASSIGNED |
| Hardware | powerpc | ppc64 | ||
| Fedora Update System | 2014-01-22 02:57:32 UTC | Status | ASSIGNED | MODIFIED |
| Fedora Update System | 2014-01-22 23:05:03 UTC | Status | MODIFIED | ON_QA |
| Fedora Update System | 2014-02-04 02:50:49 UTC | Status | ON_QA | CLOSED |
| Fixed In Version | Agda-2.3.2.2-2.fc20 | |||
| Resolution | --- | ERRATA | ||
| Last Closed | 2014-02-03 21:50:49 UTC |
Back to bug 1038068