GuillaumeGomez merged rust-lang/team#2664 · August 13, 2026 02:08 Add mdbook team #2664 Follow-up of the zulip discussion.Now pinging all dev-tools teams (in no particular order) so everyone is aware of this new team joining dev-tools… +29 -7 6 comments