Skip to content

The unique feature is renamed ptr_internals#49

Merged
Gankra merged 1 commit into
rust-lang:rust-pr-46952from
SimonSapin:unique
Dec 22, 2017
Merged

The unique feature is renamed ptr_internals#49
Gankra merged 1 commit into
rust-lang:rust-pr-46952from
SimonSapin:unique

Conversation

@SimonSapin

Copy link
Copy Markdown
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

Gankra commented Dec 22, 2017

Copy link
Copy Markdown
Contributor

[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