Merge "Make ContribsPager properties private again"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 4 Jan 2019 22:50:33 +0000 (22:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 4 Jan 2019 22:50:33 +0000 (22:50 +0000)
commit9522cdccab420252d18d72db0b35b28c84a359ca
tree7a2f0eb6960438e733132c3a678f1b94e2cec968
parent911c34e18f2a08652a2fb3eb786e1e45f0a49914
parenta6cb793e251914c741a5a4fbf7db16cbd0e3f8fd
Merge "Make ContribsPager properties private again"