------- Comment #3 from bangerth at gmail dot com 2010-02-23 15:53 -------
So the attribute would have to be attached to the namespace, I guess.
We can keep the PR open, but my best guess is that this is going to be
one of those PRs that stay open forever as there is so little demand
for this kind of feature.
Maybe you can explain what you need this for?
W.
--
bangerth at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |UNCONFIRMED
Resolution|WORKSFORME |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43149
