update HISTORY.md.