(Sorry, I should have said this as separate statements. I'll hide that comment.)
I added aptdaemon to the bug, as I think that's where the fix is probably needed.
Bug 628104 is the same problem, under update-manager, and maybe these should be considered the same bug. Thanks.
(Sorry, I should have said this as separate statements. I'll hide that comment.)
I added aptdaemon to the bug, as I think that's where the fix is probably needed.
Bug 628104 is the same problem, under update-manager, and maybe these should be considered the same bug. Thanks.