Skip to content

Conversation

matthiaskrgr
Copy link
Member

changelog: none

@matthiaskrgr
Copy link
Member Author

I'm gonna merge this since this is a trivial change...
@bors r+

@bors
Copy link
Contributor

bors commented Dec 21, 2019

📌 Commit e5a5b0a has been approved by matthiaskrgr

@bors
Copy link
Contributor

bors commented Dec 21, 2019

⌛ Testing commit e5a5b0a with merge abdb277...

bors added a commit that referenced this pull request Dec 21, 2019
@bors
Copy link
Contributor

bors commented Dec 21, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: matthiaskrgr
Pushing abdb277 to master...

@bors bors merged commit e5a5b0a into rust-lang:master Dec 21, 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.

2 participants