https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47469
--- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> --- (In reply to Dominique d'Humieres from comment #5) > Well, this PR has been rotting for more than four years and a half. I was > only pointing to the fact that the initial patch no longer applies. > > If you know what to do, please do so. If not, I don't see the point to keep > it open for the next decade. I'll take a look over the weekend. Thanks for your efforts to weed out some of the PRs that have passed their sell-by date. It's much appreciated. Paul
