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

--- Comment #9 from dv at vollmann dot ch ---
Just asking: is there anything that's required from my side to close this as
fixed?

Reply via email to