-
Dominik Charousset authored
Bumping the release version allows early adopters to start integrating new features with version checks. To mark these releases as development version, we tag all unreleased version with '-dev+exp.sha.$commit' when building the manual.
13d75ffe