------- Additional Comments From bangerth at dealii dot org 2004-06-28 13:24 ------- I have no clue which patch this was. I didn't fix it, I just verified that it is fixed. W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7827