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