http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47769
--- Comment #5 from Matthias Kretz <kretz at kde dot org> 2013-05-03 11:45:49 UTC --- Another ping. The bug status is still WAITING...
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47769
--- Comment #5 from Matthias Kretz <kretz at kde dot org> 2013-05-03 11:45:49 UTC --- Another ping. The bug status is still WAITING...