]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #8433 : brson/rust/rm-more-oldrt-crud, r=brson
authorbors <bors@rust-lang.org>
Sat, 17 Aug 2013 19:51:57 +0000 (12:51 -0700)
committerbors <bors@rust-lang.org>
Sat, 17 Aug 2013 19:51:57 +0000 (12:51 -0700)
Just deleting more stuff.


Trivial merge