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