mozilla/rust — pull request #12061 by pongad (2014-02-06 07:38:46+00:00)
Title: Removed num::Orderable

#12057