Merge "Remove unused use in anonymous function"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 2 Dec 2018 00:00:38 +0000 (00:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 2 Dec 2018 00:00:38 +0000 (00:00 +0000)
commit26af1d793b13fef0f9bf820a857e5f464bf6ef58
tree5c9d5713e9bce14f548232b70f1196ae7c052719
parent448386e304c1f67914a4cf639b457d95b06d2a98
parentd441a126e63036e94cd2184d2ef6f3aa3325181b
Merge "Remove unused use in anonymous function"