]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge branch 'dev' into staticDictCost
authorYann Collet <cyan@fb.com>
Tue, 15 May 2018 01:09:26 +0000 (18:09 -0700)
committerYann Collet <cyan@fb.com>
Tue, 15 May 2018 01:09:26 +0000 (18:09 -0700)

Trivial merge