HISTORY.md has now been updated to be current.
Merge pull request #58 from markstos/history-update-for-1.20

HISTORY.md has now been updated to be current. Fixes #57.