Hm, I had to call "git fetch --tags" to see the moved tag.
Regards Mirko

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to