On Sun, 10 Jun 2012 at 16:06:37 +0200, Christophe wrote: > > Please note however that I've not yet checked where it is being used...
I'd start from there. What is the drawback if one simply removes it? -- To unsubscribe, send mail to [email protected].
