]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #1905 from facebook/devnull
authorYann Collet <Cyan4973@users.noreply.github.com>
Tue, 26 Nov 2019 02:48:12 +0000 (18:48 -0800)
committerGitHub <noreply@github.com>
Tue, 26 Nov 2019 02:48:12 +0000 (18:48 -0800)
fix #1904


Trivial merge