------- Comment #4 from bangerth at dealii dot org 2006-10-12 01:47 ------- I can confirm that this is apparently fixed now.
W.
--
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28827
