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



--- Comment #3 from dnovillo at google dot com <dnovillo at google dot com> 
2013-02-15 19:19:22 UTC ---

Thanks for the quick fix, Vlad!





Diego.

Reply via email to