#1725 Documentation website still mentions v2.3.1 as latest release
Metadata
Property | Value |
---|---|
Reported by | Felix Gruber (gruber@igpm.rwth-aachen.de) |
Reported at | Oct 22, 2015 09:50 |
Type | Bug Report |
Version | 2.4 |
Operating System | Unspecified / All |
Description
The documentation website [1] still mentions Dune version 2.3.1 as "stable release". This should be renamed into "oldstable", and documentation for the current stable release of Dune — version 2.4 — should be introduced.