update HISTORY.md for pr #1286