Can we retag the release?

[AndrewSav]

Hello, this tag name prevents from normally pushing to master, see https://stackoverflow.com/questions/9378760/git-push-local-branch-with-same-name-as-remote-tag.

Can you retag it to a more appropriate name, perhaps v1.6.0 and remove the old tag? Thank you in advance!