http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55488
Dmitry Vyukov <dvyukov at google dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dvyukov at google dot com
--- Comment #2 from Dmitry Vyukov <dvyukov at google dot com> 2013-01-11
19:52:55 UTC ---
Great, thanks!
I guess we need to close this bug now.
