]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #18755 : japaric/rust/ord, r=alexcrichton
authorbors <bors@rust-lang.org>
Sun, 9 Nov 2014 12:31:40 +0000 (12:31 +0000)
committerbors <bors@rust-lang.org>
Sun, 9 Nov 2014 12:31:40 +0000 (12:31 +0000)
Closes #18738
cc #15689

r? @alexcrichton
cc @cmr


Trivial merge