]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #9354 : thestinger/rust/cleanup, r=alexcrichton
authorbors <bors@rust-lang.org>
Sat, 21 Sep 2013 08:35:59 +0000 (01:35 -0700)
committerbors <bors@rust-lang.org>
Sat, 21 Sep 2013 08:35:59 +0000 (01:35 -0700)
I don't see the point of this function, and there are no users.

1  2 
src/libstd/util.rs

Simple merge