------- Comment #10 from bangerth at dealii dot org 2007-03-29 16:20 ------- This appears fixed with current mainline (at the very least, I don't know how far back this reaches, but 3.3.5 is still broken).
--
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=712
