Merge branch 'dev' of github.com:Cyan4973/lz4 into dev
authorYann Collet <cyan@fb.com>
Mon, 10 Sep 2018 19:02:42 +0000 (12:02 -0700)
committerYann Collet <cyan@fb.com>
Mon, 10 Sep 2018 19:02:42 +0000 (12:02 -0700)

Trivial merge