]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #15088 : Sawyer47/rust/detotal, r=alexcrichton
authorbors <bors@rust-lang.org>
Sun, 22 Jun 2014 15:16:39 +0000 (15:16 +0000)
committerbors <bors@rust-lang.org>
Sun, 22 Jun 2014 15:16:39 +0000 (15:16 +0000)
There were still Total{Ord,Eq} in docs and src/etc


Trivial merge