0.7.1 release

This tag has no release notes.