tree 48ff748c0725985a602f16261908a7845953c4e7
parent 6da37f5dd07fe522d00ea281b1919c9cdecd8145
author Guillaume Chatelet <gchatelet@google.com> 1518795933 +0100
committer Guillaume Chatelet <gchatelet@google.com> 1518795933 +0100

Fix shellcheck warnings.