-
Virgile Prevosto authored
as proposed in [MR](https://git.frama-c.com/frama-c/frama-c/-/merge_requests/2817#note_95099)
Virgile Prevosto authoredas proposed in [MR](https://git.frama-c.com/frama-c/frama-c/-/merge_requests/2817#note_95099)
as proposed in [MR](https://git.frama-c.com/frama-c/frama-c/-/merge_requests/2817#note_95099)
as proposed in [MR](https://git.frama-c.com/frama-c/frama-c/-/merge_requests/2817#note_95099)