[issue17920] Documentation: "complete ordering" should be "total ordering"

[Ezio Melotti]

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>
_______________________________________