>>>>> "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
>>>>> "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