Back to bug 1990564
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Pavel Šimovec | 2021-08-06 13:12:36 UTC | Assignee | vmihalko | psimovec |
| CC | psimovec | |||
| Doc Type | --- | If docs needed, set a value | ||
| Status | NEW | ASSIGNED | ||
| Upstream Release Monitoring | 2021-08-19 22:11:41 UTC | Summary | cbmc-5.36.0 is available | cbmc-5.37.0 is available |
| Pavel Šimovec | 2021-08-23 16:18:25 UTC | Status | ASSIGNED | CLOSED |
| Resolution | --- | RAWHIDE | ||
| Last Closed | 2021-08-23 16:18:25 UTC |
Back to bug 1990564