Hi folks

I apparently inadvertently tagged the wrong hash the other night when tagging 
v1.10.7. I have corrected it, but if you updated your clone _and_ checked out 
the v1.10.7 tag in the interim, you might need to manually delete the tag on 
your clone and re-pull.

It’s trivial to do:

$ git tag -d v1.10.7
$ git pull   (or whatever your favorite update command is)

Again, you may not need to do anything (I didn’t, but one person did - however, 
they had manually checked out the tag before it was fixed).

Sorry for the inconvenience.

devel mailing list

Reply via email to