Skip to content

Conversation

jsoref
Copy link
Contributor

@jsoref jsoref commented Apr 24, 2023

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

lnicola commented Apr 24, 2023

@bors delegate+

@bors
Copy link
Contributor

bors commented Apr 24, 2023

✌️ @jsoref can now approve this pull request

@jsoref
Copy link
Contributor Author

jsoref commented Apr 24, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Apr 24, 2023

📌 Commit 0600ca9 has been approved by jsoref

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Apr 24, 2023

⌛ Testing commit 0600ca9 with merge 65ac9f4...

@bors
Copy link
Contributor

bors commented Apr 24, 2023

☀️ Test successful - checks-actions
Approved by: jsoref
Pushing 65ac9f4 to master...

@bors bors merged commit 65ac9f4 into rust-lang:master Apr 24, 2023
@jsoref jsoref deleted the patch-1 branch April 24, 2023 19:57
@lnicola lnicola changed the title Fix readme minor: Fix readme May 1, 2023
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