| commit | 9f8a5b1abd7ef3fe387daf3ddeb6fe1bc11240b3 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Tue Oct 28 12:57:11 2014 +0100 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Tue Oct 28 12:57:11 2014 +0100 |
| tree | 644055ff4e1c6764873c916a88dcbcdbd59cf212 | |
| parent | 7876f72f6afe2ac632726770848c444aeb3865cb [diff] |
#22237: document that sorted() is guaranteed to be stable. Initial patch by Martin Panter.