]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge branch 'dev' into progressiveMT
authorYann Collet <cyan@fb.com>
Tue, 16 Jan 2018 20:54:33 +0000 (12:54 -0800)
committerYann Collet <cyan@fb.com>
Tue, 16 Jan 2018 20:54:33 +0000 (12:54 -0800)

Trivial merge