history.md update
Merge pull request #1208 from lzhan/history

history.md update
release 0.7.2 (based on 0.7.1-19-ge682e74)