https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86829
--- Comment #5 from Giuliano Belinassi <giuliano.belinassi at usp dot br> --- I filed the copyright assignment request and sent it to the assign at gnu dot org. The patch itself I sent to the patch e-mail listing with the subject "patch to bug #86829".