Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Typo #3990

Merged
merged 1 commit into from
Apr 18, 2019
Merged

Typo #3990

merged 1 commit into from
Apr 18, 2019

Conversation

felixrabe
Copy link
Contributor

changelog: none

@flip1995
Copy link
Member

Thanks!

@bors r+

@bors
Copy link
Collaborator

bors commented Apr 18, 2019

📌 Commit b4f2200 has been approved by flip1995

@bors
Copy link
Collaborator

bors commented Apr 18, 2019

⌛ Testing commit b4f2200 with merge 5f37dd6...

bors added a commit that referenced this pull request Apr 18, 2019
@bors
Copy link
Collaborator

bors commented Apr 18, 2019

💥 Test timed out

@phansch
Copy link
Member

phansch commented Apr 18, 2019

@bors retry (appveyor slow)

@bors
Copy link
Collaborator

bors commented Apr 18, 2019

⌛ Testing commit b4f2200 with merge 80afc00...

bors added a commit that referenced this pull request Apr 18, 2019
@bors
Copy link
Collaborator

bors commented Apr 18, 2019

💥 Test timed out

@flip1995
Copy link
Member

@bors retry (and we go again)

@bors
Copy link
Collaborator

bors commented Apr 18, 2019

⌛ Testing commit b4f2200 with merge c53b867...

bors added a commit that referenced this pull request Apr 18, 2019
@bors
Copy link
Collaborator

bors commented Apr 18, 2019

💥 Test timed out

@flip1995
Copy link
Member

@bors retry

@bors
Copy link
Collaborator

bors commented Apr 18, 2019

⌛ Testing commit b4f2200 with merge 0d9ef39...

bors added a commit that referenced this pull request Apr 18, 2019
@bors
Copy link
Collaborator

bors commented Apr 18, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: flip1995
Pushing 0d9ef39 to master...

@bors bors merged commit b4f2200 into rust-lang:master Apr 18, 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.

4 participants