https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67542
G. Steinmetz <gs...@t-online.de> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |gs...@t-online.de --- Comment #9 from G. Steinmetz <gs...@t-online.de> --- Yep, done.