Merge "SpecialRunJobs: optional output stats and status."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 Sep 2019 16:11:08 +0000 (16:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 Sep 2019 16:11:08 +0000 (16:11 +0000)
commit70e2881cec98b89edc5afebfae55650782937e67
treed9945e0f68ea83cc8ed7bc4e38dc3e4234c75681
parent7e49f068f0dfdae09ad87438a9a85a7350e45153
parentc28609ac617d8fc4987338955003fe2c6b687a54
Merge "SpecialRunJobs: optional output stats and status."