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