https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96728
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|pault at gcc dot gnu.org |unassigned at gcc dot
gnu.org
--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> ---
(In reply to Dominique d'Humieres from comment #2)
> Another patch has been submitted at
> https://gcc.gnu.org/pipermail/fortran/2020-August/054907.html
Hi Jose did not assign himself to this PR and so I worked on this
independently. It is lucky that it was not a lot of work, otherwise I might
have been really peeved about the waste of time.
Unassigning myself.
Paul
