Back to bug 2135358
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Fedora Update System | 2022-10-17 16:27:06 UTC | Status | NEW | MODIFIED |
| Fedora Update System | 2022-10-18 14:37:26 UTC | Status | MODIFIED | ON_QA |
| Fedora Update System | 2022-10-26 17:34:52 UTC | Fixed In Version | gappalib-coq-1.4.6-10.fc35 | |
| Status | ON_QA | CLOSED | ||
| Resolution | --- | ERRATA | ||
| Last Closed | 2022-10-26 17:34:52 UTC |
Back to bug 2135358