Hi Lars, thanks so much for taking the time to file this report.
I concur with the feeling that this would be a worthy addition, and went ahead and forwarded this upstream to debian.
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=596286
It may get lost in the thick of 600+ open bugs against apt, so make sure to add a patch too, which should help the maintainer notice it and get it applied ASAP.
Marking Triaged as it has been forwarded upstream.
Hi Lars, thanks so much for taking the time to file this report.
I concur with the feeling that this would be a worthy addition, and went ahead and forwarded this upstream to debian.
http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 596286
It may get lost in the thick of 600+ open bugs against apt, so make sure to add a patch too, which should help the maintainer notice it and get it applied ASAP.
Marking Triaged as it has been forwarded upstream.