Comment 4 for bug 272211

Revision history for this message
Andy Matuschak (andymatuschak) wrote :

Oh ho! I totally misread that inequality. Okay, fixed in 318.