On Thu, 2008-11-06 at 00:32 +0100, Rainer Jung wrote:
> Yes: is there any reason to not do it?

It does not look actually useful, and I could forget about it (meaning a
lot of wasted time).

Rémy



---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to