Back to bug 2000765
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Lukáš Zaoral | 2021-09-15 10:29:41 UTC | Doc Type | --- | If docs needed, set a value |
| Status | NEW | ASSIGNED | ||
| Vincent Mihalkovič | 2021-09-15 15:09:18 UTC | Resolution | --- | RAWHIDE |
| Fixed In Version | cbmc-5.38.0-1.fc36 | |||
| Status | ASSIGNED | CLOSED | ||
| Last Closed | 2021-09-15 15:09:18 UTC |
Back to bug 2000765