Release 0.7.2
Merge branch 'release-0.7.2' into development