Bump version to 0.7.2
Merge branch 'hotfix-0.7.2'