Merge "Delete unused variable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 3 Dec 2018 18:18:49 +0000 (18:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 3 Dec 2018 18:18:49 +0000 (18:18 +0000)
commit6114e23890a83793614613c879835db7b7885321
tree3d72fa6ec28e12d22d81103fe907a32bcbac410a
parent28eb73531eec408d4115d982a7da2fc9e93b0ddf
parent99fdade462c411e21b8b7dfd41c2edc022fba1fa
Merge "Delete unused variable"