Merge branch 'dev' of github.com:Cyan4973/lz4 into dev
authorYann Collet <cyan@fb.com>
Tue, 11 Sep 2018 17:01:33 +0000 (10:01 -0700)
committerYann Collet <cyan@fb.com>
Tue, 11 Sep 2018 17:01:33 +0000 (10:01 -0700)

Trivial merge