Merge "Do not pass unused parameter"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 2 Dec 2018 00:22:39 +0000 (00:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 2 Dec 2018 00:22:39 +0000 (00:22 +0000)
commit44a22fb393da6f90bb97be7ee98e6c73085acb6c
tree7d6a4814f692d0259808cc04e3604e53ab25bee9
parentbf1095f536454825dbaa81a4cc7bf253a552e0eb
parent547312ae39957d16bf1f2a3e9427c7d1a7502337
Merge "Do not pass unused parameter"