update HISTORY.txt
Merge pull request #400 from jpcw/github-main

update HISTORY.txt