Skip to content

Conversation

matthiaskrgr
Copy link
Member

cc #5369
changelog: none

@flip1995
Copy link
Member

So you were faster: flip1995@2d1b05c 😄

@bors r+

@bors
Copy link
Contributor

bors commented Mar 25, 2020

📌 Commit b86e843 has been approved by flip1995

@bors
Copy link
Contributor

bors commented Mar 25, 2020

⌛ Testing commit b86e843 with merge 5de8c10...

@bors
Copy link
Contributor

bors commented Mar 25, 2020

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

@bors bors merged commit 5de8c10 into rust-lang:master Mar 25, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants