------- Additional Comments From bangerth at dealii dot org 2004-01-15 00:40 ------- Hey, Gaby, calm down -- I closed this PR six messages ago ;-) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13687