------- Comment #5 from bangerth at dealii dot org 2006-05-31 14:57 ------- Thanks for the feedback. It is apparently fixed then...
W.
--
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21264
