http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55561



--- Comment #39 from Dmitry Vyukov <dvyukov at google dot com> 2013-02-01 
20:00:22 UTC ---

Sorry, I was busy previous weeks. Thanks for fixing this.

Reply via email to