Merge "Deprecate DO_MAINTENANCE"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Apr 2018 17:07:41 +0000 (17:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Apr 2018 17:07:41 +0000 (17:07 +0000)
commit4fa5f1b067c5656387c9381f57ddd66feb0d8fad
treebe5a21a22706e6d067f528cbde9dc099c050f1a8
parent572834048de6f06ec4954fa4ac053a5254c4a496
parent4ff20403580e14aa301729f414fe170ef846f596
Merge "Deprecate DO_MAINTENANCE"