25 Apr
2011
25 Apr
'11
9:40 p.m.
could you delete the useless 2009.01-rc2 tag ? it's duplicated by v2009.01-rc2 ...
git tag -d 2009.01-rc2 git push origin :2009.01-rc2 -mike