http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45168
Wolfgang Bangerth <bangerth at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
CC| |bangerth at gmail dot com
Resolution| |DUPLICATE
--- Comment #1 from Wolfgang Bangerth <bangerth at gmail dot com> 2013-01-05
23:31:11 UTC ---
Confirmed, and a duplicate of an PR that had already been confirmed.
*** This bug has been marked as a duplicate of bug 47043 ***
