Skip to content

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

Merged
tshepang merged 1 commit intorust-lang:masterfrom
smanilov:patch-1
Apr 11, 2025
Merged

Update table of contents in about-this-guide.md#2320
tshepang merged 1 commit intorust-lang:masterfrom
smanilov:patch-1

Conversation

@smanilov
Copy link
Copy Markdown
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).

Comment thread src/about-this-guide.md Outdated
Comment thread src/about-this-guide.md Outdated
@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
Copy Markdown
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 <tshepang@gmail.com>
@smanilov
Copy link
Copy Markdown
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