Merge pull request #10 from philburk/fix-history
authorPhil Burk <philburk@mobileer.com>
Sat, 25 Jul 2015 01:02:21 +0000 (18:02 -0700)
committerPhil Burk <philburk@mobileer.com>
Sat, 25 Jul 2015 01:02:21 +0000 (18:02 -0700)
Fix auto.term in history


Trivial merge