Skip to content

Conversation

@dhuseby
Copy link

@dhuseby dhuseby commented Apr 10, 2016

@rust-highfive
Copy link
Contributor

r? @brson

(rust_highfive has picked a reviewer for you, use r? to override)

@dhuseby
Copy link
Author

dhuseby commented Apr 10, 2016

@mneumann ping.

@mneumann
Copy link
Contributor

@dhuseby : I think the patch is wrong. It's for 02-17, not for the 03-18 snapshot. Probably a jetlag issue ;-)

@dhuseby
Copy link
Author

dhuseby commented Apr 14, 2016

@mneumann dang, i'll fix it today. thanks for your patience.

@bors
Copy link
Collaborator

bors commented Apr 20, 2016

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

@tamird
Copy link
Contributor

tamird commented Jun 14, 2016

Looks like this got obsoleted by #32942.

@alexcrichton
Copy link
Member

Aha, indeed!

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.

7 participants