Back to bug 1871484
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jerry James | 2020-08-24 22:44:56 UTC | Status | NEW | CLOSED |
| Fixed In Version | frama-c-21.1-4.fc34 | |||
| Resolution | --- | NEXTRELEASE | ||
| Doc Type | --- | If docs needed, set a value | ||
| Last Closed | 2020-08-24 22:44:56 UTC |
Back to bug 1871484