https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116388
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |pault at gcc dot gnu.org
--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
(In reply to Tomáš Trnka from comment #3)
> (In reply to Paul Thomas from comment #2)
> > Do you want to apply the fix or shall I do the honours?
>
> I'd love to do it, but I don't have commit access. So if I understand it
> correctly, I would have to send a patch to the mailing list and have someone
> else (you?) apply it for me. I wouldn't mind doing that to learn the
> procedure, but I don't want to waste your time (or anyone else's). So just
> please pick the way that's easiest for you.
I can easily do the job but I will credit you. I am taking the PR for the sake
of the audit trail.
Regards
Paul
