Merge branch 'fix/eva/changelog' into 'master'
Retroactively updates the Changelog for Eva and Ivette. See merge request frama-c/frama-c!4175
Loading
Please register or sign in to comment
Retroactively updates the Changelog for Eva and Ivette. See merge request frama-c/frama-c!4175