]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10608 : thestinger/rust/managed, r=huonw
authorbors <bors@rust-lang.org>
Fri, 22 Nov 2013 13:52:01 +0000 (05:52 -0800)
committerbors <bors@rust-lang.org>
Fri, 22 Nov 2013 13:52:01 +0000 (05:52 -0800)

Trivial merge