]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #2177 from facebook/dictID0
authorYann Collet <Cyan4973@users.noreply.github.com>
Tue, 26 May 2020 15:54:10 +0000 (08:54 -0700)
committerGitHub <noreply@github.com>
Tue, 26 May 2020 15:54:10 +0000 (08:54 -0700)
updated spec on dictID==0


Trivial merge