Merge branch 'fix/virgile/update-release-manual' into 'master'
update release manual following 30.0 Zinc experience See merge request frama-c/frama-c!4836
Loading
Please register or sign in to comment
update release manual following 30.0 Zinc experience See merge request frama-c/frama-c!4836