------- Additional Comments From bangerth at dealii dot org 2004-11-16 22:45 ------- That's a duplicate of PR 18001. Sounds easier to fix than a good number of other PRs, but nothing's happening apparently... W.
*** This bug has been marked as a duplicate of 18001 ***
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |DUPLICATE
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18522
