------- Additional Comments From bangerth at dealii dot org 2005-05-31 13:49 ------- This is a duplicate of one of my rather older bugs, PR 8271... W.
*** This bug has been marked as a duplicate of 8271 ***
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |DUPLICATE
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21801
