Version bumped from 0.7.1 to 0.7.2
Merge branch 'release-0.7.2'