https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87449
Martin Diehl changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87449
Dominique d'Humieres changed:
What|Removed |Added
Priority|P3 |P4
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87449
--- Comment #3 from Martin Diehl ---
Dear Dominique,
sorry for the duplicated reports, I always got an server error and
assumed filing the report failed.
best regards,
Martin
On Fri, 2018-09-28 at 17:06 +, dominiq at lps dot ens.fr wrote:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87449
--- Comment #2 from Dominique d'Humieres ---
*** Bug 87459 has been marked as a duplicate of this bug. ***
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87449
--- Comment #1 from Dominique d'Humieres ---
*** Bug 87450 has been marked as a duplicate of this bug. ***
