Skip to content

Conversation

@matthiaskrgr
Copy link
Member

split out from #6829
changelog: none

@rust-highfive
Copy link

r? @llogiq

(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 Mar 4, 2021
@flip1995
Copy link
Member

flip1995 commented Mar 4, 2021

Splitting this out seems to be a good idea

@bors r+

@bors
Copy link
Contributor

bors commented Mar 4, 2021

📌 Commit bbe6416 has been approved by flip1995

@bors
Copy link
Contributor

bors commented Mar 4, 2021

⌛ Testing commit bbe6416 with merge d783e3d...

@bors
Copy link
Contributor

bors commented Mar 4, 2021

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: flip1995
Pushing d783e3d to master...

@bors bors merged commit d783e3d into rust-lang:master Mar 4, 2021
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.

5 participants