tweak Debian release 3.02-4
This tag has no release notes.