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. Ralph _______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
