Skip to content

Update table of contents in about-this-guide.md #2320

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Apr 11, 2025

Conversation

smanilov
Copy link
Contributor

@smanilov smanilov commented Apr 8, 2025

  1. added two new parts: Bootstrapping and Supporting Infrastructure;
  2. touched up names of pre-existing parts, to match actual names in sidebar;
  3. syntactic nits (start description of Analysis with a capital letter).

@jieyouxu jieyouxu added S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content WG-rustc-dev-guide Working group: rustc-dev-guide labels Apr 9, 2025
Copy link
Member

@tshepang tshepang left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good... please squash

1. added two new parts: Bootstrapping and Supporting Infrastructure;
2. touched up names of pre-existing parts, to match actual names in sidebar;
3. syntactic nits (start description of Analysis with a capital letter); and
4. make numbered list use only 1.

Co-authored-by: Tshepang Mbambo <[email protected]>
@smanilov
Copy link
Contributor Author

looks good... please squash

thanks, done

@smanilov smanilov requested a review from tshepang April 11, 2025 14:29
@tshepang tshepang enabled auto-merge April 11, 2025 16:42
@tshepang tshepang merged commit 58cbfe4 into rust-lang:master Apr 11, 2025
1 check passed
@smanilov smanilov deleted the patch-1 branch April 22, 2025 09:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content WG-rustc-dev-guide Working group: rustc-dev-guide
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants