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

--- Comment #6 from MarkEggleston <mark.eggleston at codethink dot com> ---
This has been fixed, see comment 5.

I do not have permission to changes the status so somebody that does will need
to do so.

Reply via email to