Release of version 0.7.2
Merge branch 'release/0.7.2' into develop