Merge "maintenance: Remove arguments that match their default values"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 28 Feb 2019 08:42:04 +0000 (08:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 Feb 2019 08:42:04 +0000 (08:42 +0000)
commitfbbad5e8385dfe17f73bdc8a2d0c2cea2af517ef
tree7d2dccea4dfa0cc1524a8fb14ceb7415c8db785b
parentb5b4374d749e244e1e7915a34239181b6bbcb005
parentc0927cba654d365af3f6fe6d5705bf2facd3f527
Merge "maintenance: Remove arguments that match their default values"