http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54844
Wolfgang Bangerth <bangerth at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bangerth at gmail dot com --- Comment #7 from Wolfgang Bangerth <bangerth at gmail dot com> 2012-10-20 02:23:30 UTC --- May be related to PR 54994.