------- Additional Comments From bangerth at dealii dot org 2005-09-14 15:36 ------- Indeed a duplicate.
*** This bug has been marked as a duplicate of 9335 ***
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |DUPLICATE
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23510
