Merge "Remove unused globals"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 26 Jan 2014 20:04:34 +0000 (20:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 26 Jan 2014 20:04:34 +0000 (20:04 +0000)
commit146a3645ad87dc9fd76041b6f9eb60bebb056453
tree1616e053c2e1138359d6ba66ca1c2366f204a474
parent1ef5a2918ecd40c0acd1aa23374f65e679d3d6f6
parent97925bfa4dae1e8af1430dc2423fd44dfdafcb1c
Merge "Remove unused globals"