Skip to content

Conversation

@ehuss
Copy link
Contributor

@ehuss ehuss commented Oct 24, 2025

This whole section was intended as an introduction that just defined some terms. There is no need to link to these individually, since the things they introduce have their own chapters.

This whole section was intended as an introduction that just defined
some terms. There is no need to link to these individually, since the
things they introduce have their own chapters.
@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Oct 24, 2025
@traviscross traviscross added this pull request to the merge queue Oct 24, 2025
Merged via the queue into rust-lang:master with commit 76d5c46 Oct 24, 2025
5 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Oct 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants