PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11922 ------- Additional Comments From bangerth at dealii dot org 2003-08-15 15:23 ------- Aw. I should threaten to immediately step down as a bugmaster if this rule isn't lifted... W.