Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update books #113799

Closed
wants to merge 1 commit into from
Closed

Update books #113799

wants to merge 1 commit into from

Conversation

rustbot
Copy link
Collaborator

@rustbot rustbot commented Jul 17, 2023

rust-lang/reference

1 commits in 1ea0178266b3f3f613b0fabdaf16a83961c99cdb..5b7b38309caa844a55adf9363eebb8a9c94a4691
2023-07-16 20:12:46 UTC to 2023-07-16 20:12:46 UTC

rust-lang/rustc-dev-guide

10 commits in b5a12d95e32ae53791cc6ab44417774667ed2ac6..6e6f620f83db1653c55ebb70f557ba37b76d866d
2023-07-15 00:01:35 UTC to 2023-07-11 06:02:34 UTC

@rustbot
Copy link
Collaborator Author

rustbot commented Jul 17, 2023

r? @ehuss

(rustbot has picked a reviewer for you, use r? to override)

@rustbot
Copy link
Collaborator Author

rustbot commented Jul 17, 2023

⚠️ Warning ⚠️

  • These commits modify submodules.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 17, 2023
@rustbot rustbot force-pushed the docs-update branch 3 times, most recently from 216f8dc to 091b5c9 Compare July 31, 2023 19:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants