Merge pull request #434 from rob-ng15/master
authorenjoy-digital <florent@enjoy-digital.fr>
Fri, 20 Mar 2020 17:05:21 +0000 (18:05 +0100)
committerGitHub <noreply@github.com>
Fri, 20 Mar 2020 17:05:21 +0000 (18:05 +0100)
Use <stdint.h> to provide structure sizes


Trivial merge