https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54663
--- Comment #5 from Michael Eager <eager at eagercon dot com> --- (In reply to vries from comment #4) > A patch was committed for this PR. Can this PR be closed? Yes.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54663
--- Comment #5 from Michael Eager <eager at eagercon dot com> --- (In reply to vries from comment #4) > A patch was committed for this PR. Can this PR be closed? Yes.