Bumping version and dist.
Merge branch 'release-0.7.2'