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

Trivial merge