PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11437 ------- Additional Comments From bangerth at dealii dot org 2003-07-12 23:54 ------- OK, the new report is now PR 11510. W. ------- You are receiving this mail because: ------- You reported the bug, or are watching the reporter.