It appears there is a patch for this bug: http://bazaar.launchpad.net/~ubuntu-core-dev/apt/ubuntu/revision/1688
Would it be reasonable to apply it to Debian's apt? David -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org