Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

remove headers from unique vectors/strings #7816

Merged
merged 1 commit into from Jul 16, 2013

Conversation

Projects
None yet
3 participants
Contributor

thestinger commented Jul 16, 2013

Note that the headers are still on ~[T] when T is managed. This is continued from #7605, which removed all the code relying on the headers and removed them from ~T for non-managed T.

Contributor

bors replied Jul 16, 2013

merging thestinger/rust/header = e118555 into auto

Contributor

bors replied Jul 16, 2013

thestinger/rust/header = e118555 merged ok, testing candidate = 274e7a4

Contributor

bors replied Jul 16, 2013

fast-forwarding master to auto = 274e7a4

@bors bors added a commit that referenced this pull request Jul 16, 2013

@bors bors auto merge of #7816 : thestinger/rust/header, r=huonw
Note that the headers are still on `~[T]` when `T` is managed. This is continued from #7605, which removed all the code relying on the headers and removed them from `~T` for non-managed `T`.
274e7a4

@bors bors closed this Jul 16, 2013

@bors bors merged commit e118555 into rust-lang:master Jul 16, 2013

1 check passed

default all tests passed

@thestinger thestinger deleted the unknown repository branch Jul 16, 2013

Contributor

jdm commented Jul 16, 2013

Heads up for @michaelwoerister.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment