Skip to content

Conversation

@fitzgen
Copy link
Member

@fitzgen fitzgen commented Dec 7, 2017

r? @emilio

@highfive
Copy link

highfive commented Dec 7, 2017

warning Warning warning

  • These commits modify unsafe code. Please review it carefully!

@emilio
Copy link
Contributor

emilio commented Dec 7, 2017

@bors-servo r+

@bors-servo
Copy link

📌 Commit 109597d has been approved by emilio

@bors-servo
Copy link

⌛ Testing commit 109597d with merge 51d0ef9...

bors-servo pushed a commit that referenced this pull request Dec 7, 2017
@fitzgen
Copy link
Member Author

fitzgen commented Dec 7, 2017

Speedy! :-D

@bors-servo
Copy link

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

@bors-servo bors-servo merged commit 109597d into rust-lang:master Dec 7, 2017
@glyn
Copy link
Contributor

glyn commented Dec 21, 2017

Thanks for adding this @fitzgen!

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.

5 participants