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

Lars> This is the correct patch:

... and you were faster than me to commit it!

JMarc

Reply via email to