>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:

Lars> Ok I think the generic one is good enough, and this is my final
Lars> patch for this problem:

Yes, it seems reasonable.

JMarc

Reply via email to