On Wed, Jun 11, 2008 at 9:18 PM, Guido van Rossum <[EMAIL PROTECTED]> wrote: > On Wed, Jun 11, 2008 at 3:18 PM, Benjamin Peterson >> >> Already done. > > Done what? Fixed, or backed out? Any more details? Old farts who > aren't on IRC want to know. :-)
That would be fixed. > > -- > --Guido van Rossum (home page: http://www.python.org/~guido/) > -- Cheers, Benjamin Peterson "There's no place like 127.0.0.1." _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com