]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #939 from facebook/shorterCircleCI
authorYann Collet <Cyan4973@users.noreply.github.com>
Mon, 4 Dec 2017 19:22:30 +0000 (11:22 -0800)
committerGitHub <noreply@github.com>
Mon, 4 Dec 2017 19:22:30 +0000 (11:22 -0800)
Faster CircleCI tests


Trivial merge