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.
--
You are receiving this mail because:
You are on the CC list for the bug.
--
Gcc-rust mailing list
Gcc-rust@gcc.gnu.org
https://gcc.gnu.org/mailman/listinfo/gcc-rust
