https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79937
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC|paolo.carlini at oracle dot com | --- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> --- Thanks Marek, no problem. Just wanted to avoid somebody else (not me, at the moment) to be prevented from working on a fix.