]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #8076 : omasanori/rust/cleanup, r=huonw
authorbors <bors@rust-lang.org>
Sun, 28 Jul 2013 03:13:22 +0000 (20:13 -0700)
committerbors <bors@rust-lang.org>
Sun, 28 Jul 2013 03:13:22 +0000 (20:13 -0700)
A cleanup suggested on #7922.

1  2 
src/libstd/rt/mod.rs

Simple merge