As mysteriously as this bug appeared, it has disappeared.  I can
no longer reproduce this crash (which was 100% reproducible before).

I have no explanation for this.

Eric

Reply via email to