https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60210
Paolo Carlini changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60210
--- Comment #2 from Paolo Carlini ---
Thanks for the update. I'm pretty sure it's a Dup, thus instead of simply
closing it, let me find the other bug.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60210
--- Comment #1 from Florent Hivert ---
The bug has vanished in the recent 4.9.0 release. Should I mark the ticket as
RESOLVED and close it ?
