https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87741
--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Send email issues to postmas...@sourceware.org (not overseers, that's another mailing list on the same server).
