------- Additional Comments From bangerth at dealii dot org 2004-10-15 14:56 ------- There quite some discussion on this matter in PR 13088. W.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4882
------- Additional Comments From bangerth at dealii dot org 2004-10-15 14:56 ------- There quite some discussion on this matter in PR 13088. W.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4882