Back to bug 1986519
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jerry James | 2021-07-30 14:51:42 UTC | Status | NEW | CLOSED |
| Fixed In Version | gappalib-coq-1.4.6-9.fc35 | |||
| Resolution | --- | RAWHIDE | ||
| Last Closed | 2021-07-30 14:51:42 UTC |
Back to bug 1986519
Back to bug 1986519
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jerry James | 2021-07-30 14:51:42 UTC | Status | NEW | CLOSED |
| Fixed In Version | gappalib-coq-1.4.6-9.fc35 | |||
| Resolution | --- | RAWHIDE | ||
| Last Closed | 2021-07-30 14:51:42 UTC |
Back to bug 1986519