reopen 991067 found 991067 1.2-1 found 991067 1.2-4 fixed 991067 1.2-5 thanks Note: There is already a release.debian.org bug with a debdiff.