]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge branch 'dev' into amalgamate
authorCarl Woffenden <cwoffenden@gmail.com>
Fri, 23 Aug 2019 21:05:02 +0000 (23:05 +0200)
committerCarl Woffenden <cwoffenden@gmail.com>
Fri, 23 Aug 2019 21:05:02 +0000 (23:05 +0200)

Trivial merge