From: Phil Burk <philburk@mobileer.com>
Date: Sat, 25 Jul 2015 01:02:21 +0000 (-0700)
Subject: Merge pull request #10 from philburk/fix-history
X-Git-Url: https://git.gag.com/?a=commitdiff_plain;h=922f2e38fe5332fae47d11af0473e9662c4b09fb;p=debian%2Fpforth

Merge pull request #10 from philburk/fix-history

Fix auto.term in history
---

922f2e38fe5332fae47d11af0473e9662c4b09fb