Comment 8 for bug 711819

Revision history for this message
Andrew Stubbs (ams-codesourcery) wrote :

I can no longer reproduce this bug. I believe the merge from upstream has fixed it, as expected.