version increment: 0.7.1

(changes in changelog.txt)