]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #12921 : alexcrichton/rust/no-extra, r=sfackler
authorbors <bors@rust-lang.org>
Sat, 15 Mar 2014 23:11:32 +0000 (16:11 -0700)
committerbors <bors@rust-lang.org>
Sat, 15 Mar 2014 23:11:32 +0000 (16:11 -0700)
Forgot to remove this as part of the previous removal of libextra


Trivial merge