But please test the following change (I don't know whether it
    is related to the problem).

I installed this change in TL, since it's obviously desirable,
independent of the present bug.  (I gather it didn't help.)

More later, I hope.

Thanks,
k


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to