]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge remote-tracking branch 'refs/remotes/facebook/dev' into dev
authorinikep <inikep@gmail.com>
Wed, 5 Oct 2016 10:17:51 +0000 (12:17 +0200)
committerinikep <inikep@gmail.com>
Wed, 5 Oct 2016 10:17:51 +0000 (12:17 +0200)

Trivial merge