Merge "maintenance: Consistently use hasOption() for boolean options"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Jul 2017 22:08:02 +0000 (22:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Jul 2017 22:08:02 +0000 (22:08 +0000)
commit1c6805c759da9bdc20029a888ee1f2d2e23fcbc3
treebcc56b3cd750f854aec8f20238e303a5daf9032c
parent6f2565db7e082e0a2326baf3754d09b0e9ecd956
parent1e0a992f6c697344fc1d97514b6f12adebf34494
Merge "maintenance: Consistently use hasOption() for boolean options"