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

--- Comment #7 from Matthias Klose <doko at debian dot org> ---
patch posted at
https://gcc.gnu.org/pipermail/gcc-patches/2020-November/559485.html

the build succeeds

Reply via email to