Éric Araujo added the comment: Thanks for catching this, would you like to make a patch? http://docs.python.org/devguide gives help to do that.
---------- nosy: +eric.araujo _______________________________________ Python tracker <[email protected]> <http://bugs.python.org/issue19620> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
