From: Yann Collet <Cyan4973@users.noreply.github.com>
Date: Mon, 4 Dec 2017 19:22:30 +0000 (-0800)
Subject: Merge pull request #939 from facebook/shorterCircleCI
X-Git-Tag: v1.3.3^2~21
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=af2fbbcb0d094e80d7958f5b20040e4f302a3519;p=thirdparty%2Fzstd.git

Merge pull request #939 from facebook/shorterCircleCI

Faster CircleCI tests
---

af2fbbcb0d094e80d7958f5b20040e4f302a3519