Skip to content

Conversation

alexcrichton
Copy link
Member

No description provided.

@rust-highfive
Copy link

@alexcrichton: no appropriate reviewer found, use r? to override

@alexcrichton
Copy link
Member Author

@bors: r+

@bors
Copy link
Contributor

bors commented Nov 30, 2017

📌 Commit 19b0fbe has been approved by alexcrichton

bors added a commit that referenced this pull request Nov 30, 2017
@bors
Copy link
Contributor

bors commented Nov 30, 2017

⌛ Testing commit 19b0fbe with merge 26ef499...

@bors
Copy link
Contributor

bors commented Nov 30, 2017

💔 Test failed - status-travis

@alexcrichton alexcrichton merged commit 7c1297c into rust-lang:master Nov 30, 2017
@alexcrichton alexcrichton deleted the bump branch November 30, 2017 15:46
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