]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge remote-tracking branch 'refs/remotes/facebook/dev' into dev10
authorinikep <inikep@gmail.com>
Mon, 5 Sep 2016 09:32:26 +0000 (11:32 +0200)
committerinikep <inikep@gmail.com>
Mon, 5 Sep 2016 09:32:26 +0000 (11:32 +0200)

Trivial merge