close 707247 thanks I've tested the latest policy and can't reproduce this, I conclude that it's already fixed.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
