Merge "Vector: Remove misleading comment"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 13 Feb 2014 16:24:25 +0000 (16:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 13 Feb 2014 16:24:25 +0000 (16:24 +0000)
commitac0dd94548700decfee27d665d82173498696647
treeb72442aaed142485b4de5e4c29ede52343aa7c12
parentd1add38536a928b6c8e0e75e2e50c89b974fe278
parentfa02cc683ddaf2c2a5df04ad8587366aacc20ce0
Merge "Vector: Remove misleading comment"