https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108113
Thomas Schwinge <tschwinge at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #4 from Thomas Schwinge <tschwinge at gcc dot gnu.org> ---
No need for even more formalism than we already have. ;-)
Thus: 'git push', and then email <gcc-patc...@gcc.gnu.org>, referring to
Jakub's <https://github.com/Rust-GCC/gccrs/pull/1704#issuecomment-1352174564>
approval.
