Bumped version number to 0.7.2
bugfix
Merge branch 'hotfix/0.7.2'
Merge tag '0.7.2' into develop

Version 0.7.2