Bumped v0.7.2. Update HISTORY.md.