------- Additional Comments From bangerth at dealii dot org 2005-07-23 20:04 ------- I think we should accept this as an enhancement request. W.
-- What |Removed |Added ---------------------------------------------------------------------------- Severity|normal |enhancement Status|UNCONFIRMED |NEW Ever Confirmed| |1 Keywords|rejects-valid | Last reconfirmed|0000-00-00 00:00:00 |2005-07-23 20:04:22 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19249