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

Fix broken link in reference docs #8784

Merged
merged 1 commit into from
Oct 15, 2020
Merged

Conversation

jyn514
Copy link
Member

@jyn514 jyn514 commented Oct 15, 2020

@rust-highfive
Copy link

r? @alexcrichton

(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 Oct 15, 2020
@jyn514
Copy link
Member Author

jyn514 commented Oct 15, 2020

@ehuss
Copy link
Contributor

ehuss commented Oct 15, 2020

Thanks!
@bors r+

@bors
Copy link
Collaborator

bors commented Oct 15, 2020

📌 Commit 9598c4d has been approved by ehuss

@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 Oct 15, 2020
@bors
Copy link
Collaborator

bors commented Oct 15, 2020

⌛ Testing commit 9598c4d with merge 79b397d...

@bors
Copy link
Collaborator

bors commented Oct 15, 2020

☀️ Test successful - checks-actions
Approved by: ehuss
Pushing 79b397d to master...

@bors bors merged commit 79b397d into rust-lang:master Oct 15, 2020
@jyn514 jyn514 deleted the broken-docs branch October 15, 2020 15:22
@ehuss ehuss added this to the 1.49.0 milestone Feb 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
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.

5 participants