Back to bug 1855389
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Upstream Release Monitoring | 2020-07-23 15:21:11 UTC | Summary | cbmc-5.12.3 is available | cbmc-5.12.4 is available |
| Upstream Release Monitoring | 2020-08-06 20:58:41 UTC | Summary | cbmc-5.12.4 is available | cbmc-5.12.5 is available |
| Upstream Release Monitoring | 2020-08-10 20:09:08 UTC | Summary | cbmc-5.12.5 is available | cbmc-5.12.6 is available |
| Vincent Mihalkovič | 2020-08-13 11:44:43 UTC | Status | NEW | CLOSED |
| Fixed In Version | cbmc-5.12.6-1.fc34 | |||
| Resolution | --- | RAWHIDE | ||
| Doc Type | --- | If docs needed, set a value | ||
| Last Closed | 2020-08-13 11:44:43 UTC |
Back to bug 1855389