> > Sure, but this underlying bug is already recorded in the BTS, isn't > > it? > > Yes, this bug is merged with it.
This is why I tended to agree with Joey. What I reported in #283923 is indeed fixed, so my opinion would be closing te bug...while keeping the real bug opened. Anyway, if something similar to #283923 happens in the future it is quite likely to be reported against a completely different package as the problem is not obvious to identitify as pertaining to apt at first glance. On the other hand, the advantage of keeping #283923 opened is keeping the long discussion in it, which finally concludes that the bug is in APT, easy to find.... -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]