]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #4867 : z0w0/rust/pruneprelude, r=catamorphism
authorbors <bors@rust-lang.org>
Tue, 12 Feb 2013 17:37:41 +0000 (09:37 -0800)
committerbors <bors@rust-lang.org>
Tue, 12 Feb 2013 17:37:41 +0000 (09:37 -0800)

Trivial merge