]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10929 : pcwalton/rust/deboxing, r=pcwalton
authorbors <bors@rust-lang.org>
Sun, 15 Dec 2013 18:46:28 +0000 (10:46 -0800)
committerbors <bors@rust-lang.org>
Sun, 15 Dec 2013 18:46:28 +0000 (10:46 -0800)
...eyword.

r? @brson


Trivial merge