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

More information about the docs mailing list