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