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

--- Comment #4 from Marco Castelluccio <mcastelluccio at mozilla dot com> ---
Sorry for the delay, it sounds fine to me, I can't think of anything better
than that!

Reply via email to