]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #2148 from felixhandte/fix-2144
authorFelix Handte <w@felixhandte.com>
Mon, 18 May 2020 19:47:17 +0000 (15:47 -0400)
committerGitHub <noreply@github.com>
Mon, 18 May 2020 19:47:17 +0000 (15:47 -0400)
Don't Use `[[` in Shell Scripts


Trivial merge