rust-lang/rust — pull request #15088 by Sawyer47 (2014-06-22 07:43:15+00:00)
Title: Update few files after comparison traits renaming

There were still Total{Ord,Eq} in docs and src/etc