------- Additional Comments From bangerth at dealii dot org 2004-10-12 16:07 ------- If this is put under a flag of its own, it may actually be useful. I see no reason why we should dismiss it that quickly. W.
-- What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |UNCONFIRMED Resolution|INVALID | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17946