Merge "Try to fix some other broken-looking legacy maintenance script options"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 18 Mar 2016 21:13:39 +0000 (21:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 18 Mar 2016 21:13:39 +0000 (21:13 +0000)
commit99340a1ea8e9a8041661eadb77291f5b1d0cd1cf
tree69f9a8284d8f85f6af37ca0bc930ee16db481b6f
parentf2b09f04f22a64e3f65bd6728902736434f71f00
parentaa838b52de9624cf10abe92758c7bbb1416d3001
Merge "Try to fix some other broken-looking legacy maintenance script options"