Comment 2 for bug 315858

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

I have a branch that fixes this.