Skip to content

src/lib.rs: add more missing documentation#1235

Merged
weihanglo merged 5 commits intorust-lang:masterfrom
DanielEScherzer:more-docs
Apr 15, 2026
Merged

src/lib.rs: add more missing documentation#1235
weihanglo merged 5 commits intorust-lang:masterfrom
DanielEScherzer:more-docs

Conversation

@DanielEScherzer
Copy link
Copy Markdown
Contributor

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Waiting on review label Apr 15, 2026
Comment thread src/lib.rs Outdated
Comment thread src/lib.rs Outdated
@DanielEScherzer
Copy link
Copy Markdown
Contributor Author

Added backticks to the three relevant commits

Copy link
Copy Markdown
Member

@weihanglo weihanglo left a comment

Choose a reason for hiding this comment

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

@weihanglo weihanglo enabled auto-merge April 15, 2026 17:46
@weihanglo weihanglo added this pull request to the merge queue Apr 15, 2026
Merged via the queue into rust-lang:master with commit 83adc7c Apr 15, 2026
7 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Waiting on review label Apr 15, 2026
@DanielEScherzer DanielEScherzer deleted the more-docs branch April 15, 2026 20:56
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