0.7.1 released (contains ONE bugfix)

This tag has no release notes.