Skip to content

Conversation

@ehuss
Copy link
Contributor

@ehuss ehuss commented Jan 13, 2021

10 commits in 329895f5b52a358e5d9ecb26215708b5cb31d906..a73e5b7d567c3036b296fc6b33ed52c5edcd882e
2021-01-06 00:01:52 +0000 to 2021-01-12 23:45:39 +0000

@ehuss ehuss self-assigned this Jan 13, 2021
@rust-highfive
Copy link
Contributor

⚠️ Warning ⚠️

  • These commits modify submodules.

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 13, 2021
@ehuss
Copy link
Contributor Author

ehuss commented Jan 13, 2021

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 13, 2021

📌 Commit 2451833 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 Jan 13, 2021
@bors
Copy link
Collaborator

bors commented Jan 15, 2021

⌛ Testing commit 2451833 with merge e48eb37...

@bors
Copy link
Collaborator

bors commented Jan 15, 2021

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

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jan 15, 2021
@bors bors merged commit e48eb37 into rust-lang:master Jan 15, 2021
@rustbot rustbot added this to the 1.51.0 milestone Jan 15, 2021
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.

4 participants