Merge "Remove unused global declarations"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 19 Jul 2014 21:04:12 +0000 (21:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 19 Jul 2014 21:04:12 +0000 (21:04 +0000)
commita7db3260262d0e2665c2eecd8b933ec1919ac7c1
treea09a065cdd343f30da92c0728621030750530d23
parent6f01babf31c7b738150cbb8be06f267376be9977
parent301a7f3d1d60fd0242db2bc14eafe29b7b759d25
Merge "Remove unused global declarations"