-
Simon Peyton Jones authored
This one-line change fixes Trac #12531. Hooray. Simple, non-invasive; can merge to 8.0.2 (cherry picked from commit ae66f356)
f4ac734d
This one-line change fixes Trac #12531. Hooray. Simple, non-invasive; can merge to 8.0.2 (cherry picked from commit ae66f356)