]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #8115 : bjz/rust/num-traits, r=brson
authorbors <bors@rust-lang.org>
Wed, 31 Jul 2013 00:10:19 +0000 (17:10 -0700)
committerbors <bors@rust-lang.org>
Wed, 31 Jul 2013 00:10:19 +0000 (17:10 -0700)
Continues #4819


Trivial merge