Merge branch 'dev' of github.com:Cyan4973/lz4 into dev
authorYann Collet <cyan@fb.com>
Tue, 23 Apr 2019 00:45:40 +0000 (17:45 -0700)
committerYann Collet <cyan@fb.com>
Tue, 23 Apr 2019 00:45:40 +0000 (17:45 -0700)

Trivial merge