>>>>> "Paul" == Paul A Rubin <[EMAIL PROTECTED]> writes:
Paul> This happens with both 1.3.6pre24 and 1.3.5, so maybe I should Paul> feed it to Bugzilla? Paul> A problem in two parts: I think the problem is the same. We forget to transform the file name at some place. Angus, are you still there, or did you already pack your luggage and go, now that the world has fallen over? JMarc
