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

--- Comment #19 from Thomas Neumann <tneumann at users dot sourceforge.net> ---
I think we can close this bug as fixed, but I do not have permissions to do
that.

Reply via email to