Skip to content

Conversation

@pd4d10
Copy link
Contributor

@pd4d10 pd4d10 commented Nov 5, 2022

Correct #13536 with adoc link syntax

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 5, 2022
@lnicola
Copy link
Member

lnicola commented Nov 5, 2022

Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Nov 5, 2022

📌 Commit 935eb3f has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 5, 2022

⌛ Testing commit 935eb3f with merge d03c1c8...

@bors
Copy link
Contributor

bors commented Nov 5, 2022

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing d03c1c8 to master...

@bors bors merged commit d03c1c8 into rust-lang:master Nov 5, 2022
@pd4d10 pd4d10 deleted the patch-1 branch November 5, 2022 18:26
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.

4 participants