>>>>> "Asger" == Asger K Alstrup Nielsen <[EMAIL PROTECTED]> writes:

Asger> So, we all agree that the patch is good, except maybe for the
Asger> command-line name. So, Lgb or Jean-Marc, I trust your
Asger> judgement. Please apply the patch and change the command-line
Asger> to whatever you prefer, and let's get this patch in before it
Asger> becomes obsolete.

Agreed. I'll let Lars do it, since I do not have real objections...

JMarc

Reply via email to