https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59577
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> What is the added value of this PR with respect to pr51024?
> IMO it should be closed as a duplicate.
No feedback for over a year and a half, closing as duplicate of pr51024.
*** This bug has been marked as a duplicate of bug 51024 ***
