Tag 0.7.1 for release
This tag has no release notes.