http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52235
--- Comment #6 from Paulo J. Matos <pa...@matos-sorge.com> 2013-05-08 20:20:00 UTC --- (In reply to comment #5) > (In reply to comment #4) > > This issue persists in HEAD, the submitted patch seems to have been > > forgotten. > > Ping, ping. > > Ping it on gcc-patches, BZ is *not* the place for that! Sorry, ping redirected to gcc-patches.
