July 19, 2010
6:58 p.m.
On Mon, Jul 19, 2010 at 2:45 AM, Guido van Rossum <guido@python.org> 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.