]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge branch 'dev' of github.com:facebook/zstd into dev
authorJennifer Liu <jenniferliu620@fb.com>
Thu, 23 Aug 2018 19:26:30 +0000 (12:26 -0700)
committerJennifer Liu <jenniferliu620@fb.com>
Thu, 23 Aug 2018 19:26:30 +0000 (12:26 -0700)

Trivial merge