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

--- Comment #3 from Yury Gribov <y.gribov at samsung dot com> ---
Got it. I wonder whether we should keep the bug opened until we merge or close
it now.

Reply via email to