Bumped version number to 0.7.2
bugfix
Merge branch 'hotfix/0.7.2'