https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120782

--- Comment #4 from Jeffrey A. Law <law at gcc dot gnu.org> ---
No strong opinion.   I'll ponder pros/cons through the day and make a decision.
 You'll be able to either start your day tomorrow with it fixed or with the
tuning knob patch installed.

Reply via email to