Sven Luther <luther@dpt-info.u-strasbg.fr> writes: >> This is a totally pointless bug and one should not advice >> users to file such useless bug reports. > > Well, i think the best response would be of the kind : > > "Sure, it would be nice, i welcome your patch". > > Sorry for having messed in this. No problem. Cheers, -- Jérôme Marant http://marant.org