Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Frama-C Website
Issues
#21
Closed
Open
Issue created
Oct 29, 2020
by
Allan Blanchard
@blanchard
Maintainer
The main page should not name the bêta release for "latest" version.