Comment 1 for bug 462036

Revision history for this message
Curtis Hovey (sinzui) wrote :

Oops OOPS-1494F1826 shows that that can be experienced.