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!
mcastelluccio at mozilla dot com Thu, 30 Aug 2018 03:50:11 -0700
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!