On Thu, Jul 03, 2008 at 08:24:45AM +0200, Andreas Tille wrote: > On Wed, 2 Jul 2008, Joey Hess wrote: > >#473461 > > But this bug ends with a question: > > What do you think?
I don't think there's any dispute about whether the change is a good idea, only a question about when it should be uploaded. Michael: <poke>? :-) Cheers, -- Colin Watson [EMAIL PROTECTED] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]