[docs] [issue17920] Documentation: "complete ordering" should be "total ordering"
Ezio Melotti
report at bugs.python.org
Fri May 10 19:50:36 CEST 2013
Ezio Melotti added the comment:
Raymond, since this has been merged to default too in e163c13b941c, can the issue be closed or is there something else left to do?
----------
nosy: +ezio.melotti
_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue17920>
_______________________________________
More information about the docs
mailing list