]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #1243 from facebook/fix1241
authorYann Collet <Cyan4973@users.noreply.github.com>
Wed, 8 Aug 2018 17:18:02 +0000 (10:18 -0700)
committerGitHub <noreply@github.com>
Wed, 8 Aug 2018 17:18:02 +0000 (10:18 -0700)
fix #1241


Trivial merge