]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge branch 'dev' into dev070
authorYann Collet <yann.collet.73@gmail.com>
Mon, 30 May 2016 12:06:44 +0000 (14:06 +0200)
committerYann Collet <yann.collet.73@gmail.com>
Mon, 30 May 2016 12:06:44 +0000 (14:06 +0200)

Trivial merge