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