Add the PRs I merged to HISTORY.