Merge "Convert GitInfo to the new shell framework"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 17 Oct 2017 03:51:42 +0000 (03:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 17 Oct 2017 03:51:42 +0000 (03:51 +0000)
commitbd85fcdec5a2f2a75fcb50154765d9508175083f
treeb314c6d36f08468da1d14f348952bfdd12c1afb5
parent1682563b503da7e488a4f7fa1c4fbf437214dd58
parentbf03f7bde354779cacacc2695c836a25fd468c0a
Merge "Convert GitInfo to the new shell framework"