Merge branch 'dev' of github.com:Cyan4973/lz4 into dev
authorYann Collet <cyan@fb.com>
Sat, 14 Nov 2020 22:26:48 +0000 (14:26 -0800)
committerYann Collet <cyan@fb.com>
Sat, 14 Nov 2020 22:26:48 +0000 (14:26 -0800)

Trivial merge