Bump version: 0.7.1 → 0.7.2
This tag has no release notes.