Skip to content

Conversation

phansch
Copy link
Contributor

@phansch phansch commented Apr 17, 2020

Did the same in rustc a while ago: rust-lang/rust#65428

changelog: none

@phansch phansch added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Apr 17, 2020
@matthiaskrgr
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Apr 17, 2020

📌 Commit eb7ad1c has been approved by matthiaskrgr

@bors
Copy link
Contributor

bors commented Apr 17, 2020

⌛ Testing commit eb7ad1c with merge 3ea8e5e...

@bors
Copy link
Contributor

bors commented Apr 17, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: matthiaskrgr
Pushing 3ea8e5e to master...

@bors bors merged commit 3ea8e5e into rust-lang:master Apr 17, 2020
@phansch phansch deleted the diag branch April 17, 2020 08:49
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.

3 participants