Skip to content

Conversation

@ehuss
Copy link
Contributor

@ehuss ehuss commented Nov 22, 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 18:48
@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Nov 28, 2025
@ehuss
Copy link
Contributor Author

ehuss commented Nov 28, 2025

This should be ready to merge now.

@rustbot
Copy link
Collaborator

rustbot commented Dec 3, 2025

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

@traviscross traviscross added this pull request to the merge queue Dec 3, 2025
Merged via the queue into rust-lang:master with commit 93f3388 Dec 3, 2025
5 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Dec 3, 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