http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54928
--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-16 22:26:40 UTC --- Well, you know that already, but I have to remind you that this is not the best place to send patches. When you consider your fix mature enough (IMHO it is already! ;) please send it to the mailing list!! Thanks for all your help!
