https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94669
--- Comment #8 from Tom Tromey <tromey at gcc dot gnu.org> --- (In reply to David Binderman from comment #7) > Could this bug be marked as fixed, then ? Yes, but I don't really know the GCC rules about closing reports any more, so someone else probably ought to handle it.
