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

Trivial merge