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

--- Comment #7 from Robert Haberlach <colu...@gmx-topmail.de> ---
Oh, damn. "Submit only my new comment" does not what I thought it does. :-)

Reply via email to