http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47680
Mikael Morin <mikael at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |WORKSFORME --- Comment #5 from Mikael Morin <mikael at gcc dot gnu.org> --- (In reply to Dominique d'Humieres from comment #4) > Per comment #3, this PR should probably be closed. Let's do it then.