------- Comment #28 from bangerth at gmail dot com 2010-05-07 13:15 ------- *** Bug 44021 has been marked as a duplicate of this bug. ***
--
bangerth at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |crossroads0000 at googlemail
| |dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11856
