http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49717
Wolfgang Bangerth <bangerth at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |FIXED
--- Comment #3 from Wolfgang Bangerth <bangerth at gmail dot com> 2011-07-12
14:00:05 UTC ---
Aw, thanks for the link -- I wonder how I missed that :-( I'm looking forward
to trying 4.6 whenever our sysadmins decide to put it onto our machines --
the things you mention are one of many goodies worth trying.
Thanks
W.