]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #7816 : thestinger/rust/header, r=huonw
authorbors <bors@rust-lang.org>
Tue, 16 Jul 2013 04:01:20 +0000 (21:01 -0700)
committerbors <bors@rust-lang.org>
Tue, 16 Jul 2013 04:01:20 +0000 (21:01 -0700)
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`.


Trivial merge