[docs] [issue14122] operator: div() instead of truediv() in documention since 3.1.2

[Ezio Melotti]

Ezio Melotti <ezio.melotti at gmail.com> added the comment:

This was fixed in 8de95f3b2404 (3.2) and d4b17c478e49 (default).
Thanks for the report and the patch!

----------
resolution:  -> fixed
stage: patch review -> committed/rejected
status: open -> closed

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue14122>
_______________________________________