]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge remote-tracking branch 'refs/remotes/facebook/dev' into dev11 553/head
authorPrzemyslaw Skibinski <inikep@gmail.com>
Mon, 20 Feb 2017 10:11:42 +0000 (11:11 +0100)
committerPrzemyslaw Skibinski <inikep@gmail.com>
Mon, 20 Feb 2017 10:11:42 +0000 (11:11 +0100)

Trivial merge