http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54198
--- Comment #4 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2012-08-24 12:37:21 UTC --- Ping. Any update on this issue?
markus at trippelsdorf dot de Fri, 24 Aug 2012 05:37:43 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54198
--- Comment #4 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2012-08-24 12:37:21 UTC --- Ping. Any update on this issue?