Merge "Remove unused use in anonymous function"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 1 Dec 2018 19:28:05 +0000 (19:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 1 Dec 2018 19:28:05 +0000 (19:28 +0000)
commit60d61a5be80edb7c4c77e11195a51d1fe3130d30
tree6575f191f48722a09a79b7dc8fccefe684fc2174
parentb29d222cf05d0d24f300e50cd616fb3cf92f7089
parentf11471e8e0a32ecbb44e6835b7982b60b1cb8543
Merge "Remove unused use in anonymous function"