Comment 2 for bug 97525

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

We have a script that is removing the