https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123949

--- Comment #11 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> ---
(In reply to David Binderman from comment #7)
> Can this one be marked FIXED ?

I think it can be closed now.

Reply via email to