http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56047
--- Comment #15 from Jürgen Reuter <juergen.reuter at desy dot de> 2013-01-23 20:26:48 UTC --- Am 23/1/13 5:25 PM, schrieb rguenth at gcc dot gnu.org: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56047 > > Richard Biener <rguenth at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > Priority|P3 |P4 > Target Milestone|--- |4.8.0 > BTW, could someone arrange erasing Comment #12 (sent by myself). It should have gone to Janus only. I don't want it to be openly visible on the bugzilla page.