]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d132f54 0fd9934)
Rollup merge of #61223 - czipperz:tuple-ord-document-ordering, r=oli-obk
authorMazdak Farrokhzad <twingoow@gmail.com>
Sat, 8 Jun 2019 01:33:54 +0000 (03:33 +0200)
committerGitHub <noreply@github.com>
Sat, 8 Jun 2019 01:33:54 +0000 (03:33 +0200)
Document tuple's Ord behavior as sequential

Partially closing #50727


Trivial merge
Empowering everyone to build reliable and efficient software.