Merge "Remove useless method overriding"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 16 Nov 2013 22:44:55 +0000 (22:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 16 Nov 2013 22:44:55 +0000 (22:44 +0000)
commitdb6f68a7d71116838146fc8f14ce9ef285d81cdd
tree4f7598acfcf18dc1096e5539860f079d527c08ae
parentf809241c4639df391fd9a1a93286ba87457a7390
parent597bb6cfd6ca91125b6ede9ef4a70027d0eb2e46
Merge "Remove useless method overriding"