| commit | 9b1e92f5a199acf20041372950b96e5896e1b634 | [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 | 629a2e1d55b45f316cd54826656a4d2d2dfd2fd5 | |
| parent | 16e7f97bcbcd14d3ef0ceb0947714e382dafe1e6 [diff] |
#22237: document that sorted() is guaranteed to be stable. Initial patch by Martin Panter.