Skip to content

Conversation

matthiaskrgr
Copy link
Member

changelog: none

changelog: none
@matthiaskrgr
Copy link
Member Author

r? @Manishearth

@Manishearth
Copy link
Member

@bors r+

lol i should check the PRs before making my own (#4583)

@bors
Copy link
Contributor

bors commented Sep 26, 2019

📌 Commit e59d619 has been approved by Manishearth

@bors
Copy link
Contributor

bors commented Sep 26, 2019

⌛ Testing commit e59d619 with merge 68ff8b1...

bors added a commit that referenced this pull request Sep 26, 2019
@bors
Copy link
Contributor

bors commented Sep 26, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: Manishearth
Pushing 68ff8b1 to master...

@bors bors merged commit e59d619 into rust-lang:master Sep 26, 2019
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