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

--- Comment #6 from Antoni <bouanto at zoho dot com> ---
Actually, the bug was not fixed on master: I was confusing my gcc install
directories.

I'll send the real patch soon.

Reply via email to