]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge branch 'dev' into adapt
authorYann Collet <cyan@fb.com>
Fri, 17 Aug 2018 22:54:13 +0000 (15:54 -0700)
committerYann Collet <cyan@fb.com>
Fri, 17 Aug 2018 22:54:13 +0000 (15:54 -0700)

Trivial merge