http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48956
--- Comment #6 from stevenj at alum dot mit.edu 2011-05-12 22:33:59 UTC --- Thanks, I was somewhat aware of the additional requirements for applying patches to the official tree (probably I should also file a copyright assignment), but I wanted to check with you that I was on the right track first. I'm a bit swamped this week, but should be able to do all this next week.