Skip to content

Adjust documentation for slice_check_range #76395

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Sep 7, 2020
Merged

Adjust documentation for slice_check_range #76395

merged 1 commit into from
Sep 7, 2020

Conversation

dylni
Copy link
Contributor

@dylni dylni commented Sep 5, 2020

Adjust documentation for #76393.

@rust-highfive
Copy link
Contributor

r? @GuillaumeGomez

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

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 5, 2020
@jyn514
Copy link
Member

jyn514 commented Sep 6, 2020

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Sep 6, 2020

📌 Commit cf529c7 has been approved by jyn514

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 6, 2020
@bors
Copy link
Collaborator

bors commented Sep 7, 2020

⌛ Testing commit cf529c7 with merge f76eda3...

@bors
Copy link
Collaborator

bors commented Sep 7, 2020

☀️ Test successful - checks-actions, checks-azure
Approved by: jyn514
Pushing f76eda3 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Sep 7, 2020
@bors bors merged commit f76eda3 into rust-lang:master Sep 7, 2020
@rustbot rustbot added this to the 1.48.0 milestone Sep 7, 2020
@dylni dylni mentioned this pull request Sep 7, 2020
4 tasks
@dylni dylni deleted the adjust-documentation-for-slice-check-range branch September 9, 2020 02:06
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants