PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12407 ------- Additional Comments From bangerth at dealii dot org 2003-09-26 14:56 ------- For reasons I don't understand, my comment was attached to the wrong PR. Simply ignore it... W.