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 [cjwatson@debian.org]