The bug has apparently been fixed in the meantime, I cannot reproduce
it any more.

Andreas




Reply via email to