https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81795
--- Comment #2 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Marek Polacek from comment #1) > You're right, do you want to send a patch or should I handle it? It'd probably be better if you handled it; my hard drive that has the ssh keys that let me commit is currently unresponsive and needs to be repaired, so even if I sent the patch and got it approved, someone else would still need to commit it for me.
