http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55469
Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |Joost.VandeVondele at mat
| |dot ethz.ch
--- Comment #1 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch>
2012-11-26 08:01:27 UTC ---
BTW, would there be a simple workaround ?
