]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
v1.4.1: Merge pull request #1691 from facebook/dev v1.4.1
authorFelix Handte <w@felixhandte.com>
Fri, 19 Jul 2019 18:37:37 +0000 (14:37 -0400)
committerGitHub <noreply@github.com>
Fri, 19 Jul 2019 18:37:37 +0000 (14:37 -0400)

Trivial merge