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

| To be more precise, I propose to apply the following patch.
| 
| Lars?

Lars> If this fixes the problem, then ok.

Yes, I tested it. Committed.

JMarc

Reply via email to