Merge "Remove unused private field"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Sep 2015 17:54:48 +0000 (17:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Sep 2015 17:54:48 +0000 (17:54 +0000)
commit0fdb1c6df608965bd8b0970b6a6d88a9ea53fbdb
tree957cb246104f3586fd1da540f19d89299c712a5c
parent6e026429536c0c86302cf2cf7d15e6f43877d85e
parentc798981cf55224166df806f4d86b04ae6e22d8ad
Merge "Remove unused private field"