On Mon, Jul 19, 2010 at 2:45 AM, Guido van Rossum <[email protected]> wrote: > Sounds like a good idea to try to remove redundant cookies *and* to > remove most occasional use of non-ASCII characters outside comments. ...
Please see http://bugs.python.org/issue9308 . I am going to post a patch shortly. _______________________________________________ Python-Dev mailing list [email protected] http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
