Merge "shell script fix using shellcheck lint"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 17 Jun 2014 14:18:23 +0000 (14:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 17 Jun 2014 14:18:23 +0000 (14:18 +0000)
commit05b8af8b91dac965c67571668187d1dc2511ae03
treea437da1ff7661cded45895ee148121a7d03bab2c
parentf6d6d4bbafe7206aada9405d73022e9e1f2a0e37
parente10082c62b73a2d2d11b152066fff53d5fa22360
Merge "shell script fix using shellcheck lint"