Merge pull request #64 from stutonk/header_size_fix
authorPhil Burk <philburk@mobileer.com>
Sat, 15 Jun 2019 19:31:58 +0000 (12:31 -0700)
committerGitHub <noreply@github.com>
Sat, 15 Jun 2019 19:31:58 +0000 (12:31 -0700)
Correct definition of PF_DEFAULT_HEADER_SIZE


Trivial merge