]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge branch 'dev' into improvDataGen
authorDario Pavlovic <dariop@fb.com>
Tue, 10 Sep 2019 23:20:27 +0000 (16:20 -0700)
committerDario Pavlovic <dariop@fb.com>
Tue, 10 Sep 2019 23:20:27 +0000 (16:20 -0700)

Trivial merge