Increase version number.
Merge branch 'release/v0.7.2' into develop