Merge "Remove unused use in anonymous function"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 1 Dec 2018 23:45:23 +0000 (23:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 1 Dec 2018 23:45:23 +0000 (23:45 +0000)
commit92ac62d26a30126cb9dffbce3f8a9824718d206b
tree087ab326eede1e2cf6f1610112f0affe8da97af2
parent3864352d17487705cf2a50e17e0f655d7f3efe6e
parent703ed6f9cdc1339b8a57e248bfdf9145016653d5
Merge "Remove unused use in anonymous function"