http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49538

--- Comment #4 from Markus Trippelsdorf <markus at trippelsdorf dot de> 
2011-07-07 12:49:55 UTC ---
No, c70f46b057cd12973 is fine.
I've tested tested:
git reset --hard c70f46b057cd12973d33c01c8fa0da5c14ba3944
and then applied Jason's patch on top of this and
everything is fine.

Reply via email to