------- Additional Comments From bangerth at dealii dot org 2004-03-02 03:33 ------- Fair enough. Our users seem to be pretty good at exercising our product, so let's apply the Redmond method to this one :-) W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14355