]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge remote-tracking branch 'upstream/dev' into dev
authorPaul Cruz <paulcruz74@fb.com>
Thu, 10 Aug 2017 21:46:31 +0000 (14:46 -0700)
committerPaul Cruz <paulcruz74@fb.com>
Thu, 10 Aug 2017 21:46:31 +0000 (14:46 -0700)

Trivial merge