Merge pull request #793 from nigeltao/dev
authorYann Collet <Cyan4973@users.noreply.github.com>
Sat, 21 Sep 2019 16:55:59 +0000 (09:55 -0700)
committerGitHub <noreply@github.com>
Sat, 21 Sep 2019 16:55:59 +0000 (09:55 -0700)
Have read_variable_length use fixed size types


Trivial merge