Skip to content

Conversation

@matthiaskrgr
Copy link
Member

changelog: none

@flip1995
Copy link
Member

@bors r+

Thanks!

@bors
Copy link
Contributor

bors commented Mar 18, 2020

📌 Commit 2204bf2 has been approved by flip1995

@bors
Copy link
Contributor

bors commented Mar 18, 2020

⌛ Testing commit 2204bf2 with merge 999623e...

bors added a commit that referenced this pull request Mar 18, 2020
clean up a few lint docs

changelog: none
@flip1995
Copy link
Member

@bors retry

@bors
Copy link
Contributor

bors commented Mar 18, 2020

⌛ Testing commit 2204bf2 with merge 08fc398...

@bors
Copy link
Contributor

bors commented Mar 18, 2020

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

@bors bors merged commit 08fc398 into rust-lang:master Mar 18, 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