Skip to content
Convert "8.1.0%7Epre2" to a proper git tag.