Skip to content

Conversation

@emilio
Copy link
Contributor

@emilio emilio commented Apr 3, 2017

This should address #603, and supersede #609

@highfive
Copy link

highfive commented Apr 3, 2017

warning Warning warning

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

@emilio
Copy link
Contributor Author

emilio commented Apr 3, 2017

r? @fitzgen

@fitzgen
Copy link
Member

fitzgen commented Apr 3, 2017

@bors-servo r+

@bors-servo
Copy link

📌 Commit 5a25bd6 has been approved by fitzgen

@bors-servo
Copy link

🔒 Merge conflict

@bors-servo
Copy link

☔ The latest upstream changes (presumably #608) made this pull request unmergeable. Please resolve the merge conflicts.

Signed-off-by: Emilio Cobos Álvarez <emilio@crisal.io>
@emilio
Copy link
Contributor Author

emilio commented Apr 3, 2017

@bors-servo r=fitzgen

@bors-servo
Copy link

📌 Commit 87b3f38 has been approved by fitzgen

@bors-servo
Copy link

⌛ Testing commit 87b3f38 with merge 1d3d17f...

bors-servo pushed a commit that referenced this pull request Apr 3, 2017
ir: Handle char in a more cross-platform way when possible.

This should address #603, and supersede #609
@bors-servo
Copy link

☀️ Test successful - status-travis
Approved by: fitzgen
Pushing 1d3d17f to master...

@bors-servo bors-servo merged commit 87b3f38 into rust-lang:master Apr 4, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants