Update version to 0.18, introduce -dev versions
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.
Showing
Please register or sign in to comment