Merge "Do not pass unused parameter"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 2 Dec 2018 00:25:43 +0000 (00:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 2 Dec 2018 00:25:43 +0000 (00:25 +0000)
commit4e382c13c1632de2c45b51a92193036fa8746306
treeb8516a39acfe556bfed5a4144f6785cb66b43f57
parentc84a5e376c6eba23c93a96d6e932e3ee9e7728a3
parent8f4dde445fa2a140293753ee4b891f283a7c7e3c
Merge "Do not pass unused parameter"