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

--- Comment #7 from Robin Dapp <rdapp at gcc dot gnu.org> ---
Hmm, maybe we should have gone with the other patch version?  I'll go have a
look tomorrow.

Reply via email to