]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #3 from facebook/dev 730/head
authorPaul Cruz <paulcruz74@gmail.com>
Wed, 21 Jun 2017 19:42:38 +0000 (12:42 -0700)
committerGitHub <noreply@github.com>
Wed, 21 Jun 2017 19:42:38 +0000 (12:42 -0700)
pulling changes


Trivial merge