On Mon, 12 Nov 2012 at 23:21:46 +0100, BALATON Zoltan wrote: > On Mon, 12 Nov 2012, Carlos R. Mafra wrote: > >Yes, I always wanted to remove that text because I use the option and > >I obviously do not find it annoying :-) > > I don't use the option but find the clipped text anoying :-) So > you'll remove it or are you expecting a patch?
I can do it. -- To unsubscribe, send mail to [email protected].
