update HISTORY.md with contents of 25bcbc43