>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:

Georg> This is the case according to Enrico and Abdel. I am going to
Georg> commit the attached patch to trunk unless somebody objects.

If it works, commit in branch too.

JMarc

Reply via email to