]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #8740 : brson/rust/rt-opt, r=thestinger
authorbors <bors@rust-lang.org>
Sat, 24 Aug 2013 23:46:24 +0000 (16:46 -0700)
committerbors <bors@rust-lang.org>
Sat, 24 Aug 2013 23:46:24 +0000 (16:46 -0700)
See #8599


Trivial merge