Update History.md with recent pull request merges.