On Fri, Mar 19, 2010 at 09:58:44AM +0100, Stefano Zacchiroli wrote: > > ACK, can you please apply the patch I've posted? That's a needed bug fix > anyhow.
will do. > The third possibility is for now to just fix properly the "OR > optimization" as I said above. It looks like it will fix _this_ specific > case, but can of course fail in other/weirded cases. quick answer: I think that is what we should do. That is, fixing the current hack (even if it is very imperfect), and in the long run work towards using a second source for feeding the list of installed packages. -Ralf. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
