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

--- Comment #5 from Vladimir Makarov <vmakarov at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #4)
> Thank you Vladimir for the fix.
> Can we close it now?

There are no complaints about the patch for more a week.  So I guess the PR can
be closed.

Reply via email to