version in manifest
Merge branch 'release/1.7.2' into develop