tagging version debian/1.2-7
This tag has no release notes.