On Tue, Jul 23, 2013 at 02:07:46AM +0100, Ben Hutchings wrote: > Package: apt > Version: 0.9.9.2 > Severity: normal > Tags: patch [..] Thanks for your bugreport and your patch. I merged it into the debian git tree and it will be part of the next upload. Cheers, Michael