Debian release 1.7.11-3
This tag has no release notes.