]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10722 : cmr/rust/type_id_opaque, r=alexcrichton
authorbors <bors@rust-lang.org>
Sat, 30 Nov 2013 09:21:41 +0000 (01:21 -0800)
committerbors <bors@rust-lang.org>
Sat, 30 Nov 2013 09:21:41 +0000 (01:21 -0800)
Closes #10594


Trivial merge