------- Comment #6 from dgregor at gcc dot gnu dot org 2007-04-12 12:52 ------- *** Bug 31505 has been marked as a duplicate of this bug. ***
--
dgregor at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bangerth at dealii dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31103
