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