Back to bug 1986516
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jerry James | 2021-07-30 04:06:57 UTC | Status | NEW | CLOSED |
| Fixed In Version | coq-8.13.2-3.fc35 | |||
| Resolution | --- | RAWHIDE | ||
| Last Closed | 2021-07-30 04:06:57 UTC |
Back to bug 1986516
Back to bug 1986516
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jerry James | 2021-07-30 04:06:57 UTC | Status | NEW | CLOSED |
| Fixed In Version | coq-8.13.2-3.fc35 | |||
| Resolution | --- | RAWHIDE | ||
| Last Closed | 2021-07-30 04:06:57 UTC |
Back to bug 1986516