]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge remote-tracking branch 'origin/master' into dev
authorCarl Woffenden <cwoffenden@gmail.com>
Fri, 23 Aug 2019 20:57:06 +0000 (22:57 +0200)
committerCarl Woffenden <cwoffenden@gmail.com>
Fri, 23 Aug 2019 20:57:06 +0000 (22:57 +0200)

Trivial merge