Last modified: 2012-09-18 12:55:59 UTC
mediawiki/core.git has a '1.20.0rc1' tagging 1.12rc1 version. Someone made a typo at one point. We need to delete 1.20.0rc1 tag: git push gerrit :refs/tags/1.20.0rc1
Its gone?
Maybe it was just in my local copy -:^)