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

Ezio Melotti report at bugs.python.org
Sat Mar 3 14:31:32 CET 2012

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>

More information about the docs mailing list