https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116388
--- Comment #3 from Tomáš Trnka <trnka at scm dot com> --- (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.
