]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge branch 'dev' into hufc_wconv 2108/head
authorYann Collet <cyan@fb.com>
Tue, 5 May 2020 17:23:00 +0000 (10:23 -0700)
committerYann Collet <cyan@fb.com>
Tue, 5 May 2020 17:23:00 +0000 (10:23 -0700)

Trivial merge