]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge branch 'dev' into list
authorPaul Cruz <paulcruz74@fb.com>
Mon, 12 Jun 2017 17:47:30 +0000 (10:47 -0700)
committerPaul Cruz <paulcruz74@fb.com>
Mon, 12 Jun 2017 17:47:30 +0000 (10:47 -0700)

Trivial merge