Merge "maintenance: Explicitly declare all used properties"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 9 Sep 2019 19:11:52 +0000 (19:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 9 Sep 2019 19:11:52 +0000 (19:11 +0000)
commit738ed7d53f4481cf137520d84d8e5498b98cd33a
treeb73488b32d4ffa07b506c3f3f32f6cc49513c560
parent366a19f8365ce230b7bdd706d3e75a952fe62c09
parent5d40cff293d6969785ef429ef32b572905e6fcf0
Merge "maintenance: Explicitly declare all used properties"