Merge branch 'fix/blanchard/release/change-install-link' into 'master'
[release] the installation link now targets GitLab See merge request frama-c/frama-c!4748
Loading
Please register or sign in to comment
[release] the installation link now targets GitLab See merge request frama-c/frama-c!4748