Merge "Minor installer/upgrader cleanups"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Sep 2016 19:58:20 +0000 (19:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Sep 2016 19:58:20 +0000 (19:58 +0000)
commit32a1630ff2d6cda85d283df0cff3b0b805c67e27
treeb778f54f38b6cfa9145b6961133d25ba453a141d
parent3ba9b09378c94f8ce4075a5c95f2c1e2a4db8750
parent9e8f157ed258060e9762fbaa5195f4c8417bf536
Merge "Minor installer/upgrader cleanups"