Git tags

[Lars Francke]

Hi,

it looks like the tags for releases 2.7.2 and 2.7.3 are missing in Git.

Can some committer push these out?

Thank you!

Happy to open a JIRA instead (if there isn't already one).

Cheers,
Lars