Skip to content

Conversation

@Manishearth
Copy link
Member

We were failing tests already so this PR snuck in under the radar

r? @oli-obk

@Manishearth
Copy link
Member Author

Merging to unbreak the build, still needs review though since I'm not sure if what I'm doing is correct

@Manishearth Manishearth merged commit 32b1d1f into master Oct 6, 2018
@Manishearth Manishearth deleted the rustup branch October 6, 2018 05:35
@oli-obk
Copy link
Contributor

oli-obk commented Oct 7, 2018

Looks correct to me

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.

2 participants