Should we add a T-rustdoc Zulip ping group? Most other teams have them.
sounds good to me :) do you know how?
I added you. I'm not sure what the rest of the team's accounts are, so maybe you can add Guillaume and the others?
It's @T-rustdoc by the way.
Same question. :)
@GuillaumeGomez I added you and the rest of the team
Last updated: Oct 11 2021 at 22:34 UTC