]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #2433 from facebook/travisless
authorYann Collet <Cyan4973@users.noreply.github.com>
Fri, 18 Dec 2020 23:03:10 +0000 (15:03 -0800)
committerGitHub <noreply@github.com>
Fri, 18 Dec 2020 23:03:10 +0000 (15:03 -0800)
Reduce workload on travisCI


Trivial merge