Comment 2 for bug 1454658

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

The bad revsion was merged into master even though this bug was reported and the CI reported the failure.