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