No git tag for 1.7.2

[codedeleter]

1.7.0 and 1.7.1 have tags, but 1.7.2 has no git tag.