Skip to content
Convert "8.1.2" to a proper git tag.