Make HISTORY.md up to date