http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47532
Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |Joost.VandeVondele at mat
| |dot ethz.ch
Resolution| |FIXED
--- Comment #2 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch>
2013-03-29 09:13:28 UTC ---
seems fixed.
