Back to bug 1986518
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jerry James | 2021-07-30 16:01:20 UTC | Status | NEW | CLOSED |
| Fixed In Version | frama-c-23.0-3.fc35 | |||
| Resolution | --- | RAWHIDE | ||
| Last Closed | 2021-07-30 16:01:20 UTC |
Back to bug 1986518
Back to bug 1986518
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jerry James | 2021-07-30 16:01:20 UTC | Status | NEW | CLOSED |
| Fixed In Version | frama-c-23.0-3.fc35 | |||
| Resolution | --- | RAWHIDE | ||
| Last Closed | 2021-07-30 16:01:20 UTC |
Back to bug 1986518