https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71727
Wilco <wilco at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |wilco at gcc dot gnu.org
--- Comment #8 from Wilco <wilco at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #7)
> Christophe: Can the bug be marked as resolved?
See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91927 - it's still failing
since the underlying issues haven't been resolved.
