http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51393
Jérémie Detrey <Jeremie.Detrey at loria dot fr> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED --- Comment #5 from Jérémie Detrey <Jeremie.Detrey at loria dot fr> 2011-12-04 12:51:53 UTC --- Perfect, thank you very much!