Comment 8 for bug 803232

Revision history for this message
Richard Sandiford (rsandifo) wrote :

For avoidance of doubt, the patch in #7 was something Michael and I talked
about as a workaround, in order to unblock Michael's work. It isn't something
we'd submit or apply.