On Thu, 8 May 2014 at 23:57:04 +0200, Christophe wrote: > From: David Maciejak <[email protected]> > > the second one is not used, so i removed it. > btw, user can change it from the config file
So I don't think we should remove. There might be users out there customizing their configs to use this. -- To unsubscribe, send mail to [email protected].
