Skip to content

Conversation

jonas-schievink
Copy link
Contributor

No description provided.

@rust-highfive
Copy link
Contributor

r? @estebank

(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 May 24, 2020
@jonas-schievink
Copy link
Contributor Author

r? @matthewjasper

@matthewjasper
Copy link
Contributor

@bors r+

@bors
Copy link
Collaborator

bors commented May 24, 2020

📌 Commit 2359299 has been approved by matthewjasper

@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 May 24, 2020
@bors
Copy link
Collaborator

bors commented May 25, 2020

⌛ Testing commit 2359299 with merge 997d953...

@bors
Copy link
Collaborator

bors commented May 25, 2020

☀️ Test successful - checks-azure
Approved by: matthewjasper
Pushing 997d953 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label May 25, 2020
@bors bors merged commit 997d953 into rust-lang:master May 25, 2020
@jonas-schievink jonas-schievink deleted the cleanup-userty branch December 31, 2020 01:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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.

5 participants