Update History.md for #667.