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

--- Comment #4 from Filip Kastl <pheeck at gcc dot gnu.org> ---
Should I leave this bug open or close it, then?  What do you think, Richard?

Reply via email to