https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93667
Martin Jambor changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93667
--- Comment #7 from CVS Commits ---
The master branch has been updated by Martin Jambor :
https://gcc.gnu.org/g:665c5bad168ab63629b29ed2ce08ed042c088dc2
commit r10-6722-g665c5bad168ab63629b29ed2ce08ed042c088dc2
Author: Martin Jambor
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93667
--- Comment #6 from Martin Jambor ---
I proposed a fix on the mailing list:
https://gcc.gnu.org/ml/gcc-patches/2020-02/msg01053.html