Back to bug 1846548
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Vincent Mihalkovič | 2020-06-19 14:22:06 UTC | Doc Type | --- | If docs needed, set a value |
| Upstream Release Monitoring | 2020-06-26 11:13:21 UTC | Summary | cbmc-5.12.1 is available | cbmc-5.12.2 is available |
| Vincent Mihalkovič | 2020-07-09 10:19:42 UTC | Status | NEW | CLOSED |
| Fixed In Version | cbmc-5.12-1.fc33 | |||
| Resolution | --- | RAWHIDE | ||
| Last Closed | 2020-07-09 10:19:42 UTC |
Back to bug 1846548