Skip to content

Conversation

@ehuss
Copy link
Contributor

@ehuss ehuss commented Nov 22, 2025

@jieyouxu jieyouxu added the S-blocked Status: this PR is blocked waiting for something label Nov 26, 2025
@ehuss ehuss changed the title [DO NOT MERGE] Update to mdbook 0.5 Update to mdbook 0.5 Nov 28, 2025
@ehuss ehuss marked this pull request as ready for review November 28, 2025 19:30
@rustbot
Copy link
Collaborator

rustbot commented Nov 28, 2025

Thanks for the PR. If you have write access, feel free to merge this PR if it does not need reviews. You can request a review using r? rustc-dev-guide or r? <username>.

@rustbot rustbot added the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Nov 28, 2025
@rustbot
Copy link
Collaborator

rustbot commented Nov 28, 2025

⚠️ Warning ⚠️

@ehuss
Copy link
Contributor Author

ehuss commented Nov 28, 2025

This should be ready to merge now.

@ehuss ehuss removed the S-blocked Status: this PR is blocked waiting for something label Nov 28, 2025
@tshepang tshepang merged commit 4ac8f2d into rust-lang:main Nov 28, 2025
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Nov 28, 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.

4 participants