Skip to content

Conversation

@fitzgen
Copy link
Member

@fitzgen fitzgen commented Dec 8, 2017

r? @emilio

@fitzgen
Copy link
Member Author

fitzgen commented Dec 8, 2017

@bors-servo r=emilio

@bors-servo
Copy link

📌 Commit 1110a96 has been approved by emilio

@bors-servo
Copy link

⌛ Testing commit 1110a96 with merge d4829d3...

bors-servo pushed a commit that referenced this pull request Dec 8, 2017
@bors-servo
Copy link

☀️ Test successful - status-travis
Approved by: emilio
Pushing d4829d3 to master...

@bors-servo bors-servo merged commit 1110a96 into rust-lang:master Dec 8, 2017
@fitzgen fitzgen deleted the version-bump-to-0.32.0 branch December 8, 2017 21:33
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