Skip to content

Conversation

@SimonSapin
Copy link
Contributor

Same as #48, but into a temporary branch. Once this is merged rust-lang/rust#46952 can update the submodule to that branch. After that reaches Nightly, the branch can be merged into master.

@Gankra
Copy link
Contributor

Gankra commented Dec 22, 2017

[assumes it's fine]

@Gankra Gankra merged commit 03697eb into rust-lang:rust-pr-46952 Dec 22, 2017
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