From: Yann Collet <cyan@fb.com>
Date: Tue, 15 May 2018 01:09:26 +0000 (-0700)
Subject: Merge branch 'dev' into staticDictCost
X-Git-Tag: v1.3.5~3^2~41^2~11
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0b31304c8de8904c0628ad2e10c85026dcb9c17d;p=thirdparty%2Fzstd.git

Merge branch 'dev' into staticDictCost
---

0b31304c8de8904c0628ad2e10c85026dcb9c17d