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