Merge "Do not pass unused parameter"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 2 Dec 2018 00:22:34 +0000 (00:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 2 Dec 2018 00:22:34 +0000 (00:22 +0000)
commitbf1095f536454825dbaa81a4cc7bf253a552e0eb
treee78663c06cefd04ec7d7ef5d557207e17a6ec1bf
parentd0081b35047475f65e5492591ea45ff5ea175c03
parent0d3d79ae836303454e9269bf59f37aeda8b9ad3b
Merge "Do not pass unused parameter"