]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge branch 'dev' into fasterDec
authorYann Collet <cyan@fb.com>
Fri, 9 Feb 2018 10:41:02 +0000 (02:41 -0800)
committerYann Collet <cyan@fb.com>
Fri, 9 Feb 2018 10:41:02 +0000 (02:41 -0800)

Trivial merge