Skip to content

Conversation

@GarmashAlex
Copy link

fixed a minor typo
from substutition to substitution

@rustbot
Copy link
Collaborator

rustbot commented May 15, 2025

r? @wesleywiser

rustbot has assigned @wesleywiser.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added A-rustc-dev-guide Area: rustc-dev-guide S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 15, 2025
@rustbot
Copy link
Collaborator

rustbot commented May 15, 2025

The rustc-dev-guide subtree was changed. If this PR only touches the dev guide consider submitting a PR directly to rust-lang/rustc-dev-guide otherwise thank you for updating the dev guide with your changes.

cc @BoxyUwU, @jieyouxu, @Kobzol

@jieyouxu
Copy link
Member

jieyouxu commented May 15, 2025

Please don't send trivial typo fixes for rustc-dev-guide against this repo unless it accompanies a compiler/library/bootstrap/rustdoc change too, as it increase chance of josh merge conflicts. Instead, please send it against https://github.com/rust-lang/rustc-dev-guide/. Thanks for the PR.

@jieyouxu jieyouxu closed this May 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-rustc-dev-guide Area: rustc-dev-guide S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants