------- Comment #14 from bangerth at gmail dot com 2010-02-19 00:56 -------
(In reply to comment #13)
> The library issue doesn't exist anymore ;) Thus, let's not be distracted by
> the
> trivial library case, ok?
I see, that's convenient :-)
In any case, in order to keep PRs focused on single issues, I have
opened PR 43117 to track the remaining language issue, and will make
the current PR a duplicate of that one.
Best
W.
*** This bug has been marked as a duplicate of 43117 ***
--
bangerth at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |DUPLICATE
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=9990
