Debian release 4.2.0+20121016-1
This tag has no release notes.