Update History.md with #774.