From: Phil Burk <philburk@mobileer.com>
Date: Sat, 15 Jun 2019 19:31:58 +0000 (-0700)
Subject: Merge pull request #64 from stutonk/header_size_fix
X-Git-Url: http://git.subgeniuskitty.com/pforth/.git/commitdiff_plain/2b264b316a57c96282aa68b65b7e1d2441c2a0c3

Merge pull request #64 from stutonk/header_size_fix

Correct definition of PF_DEFAULT_HEADER_SIZE
---

2b264b316a57c96282aa68b65b7e1d2441c2a0c3