]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
v1.4.2: Merge pull request #1700 from facebook/dev v1.4.2
authorFelix Handte <w@felixhandte.com>
Thu, 25 Jul 2019 17:44:51 +0000 (13:44 -0400)
committerGitHub <noreply@github.com>
Thu, 25 Jul 2019 17:44:51 +0000 (13:44 -0400)

Trivial merge