11 Jun
2008
11 Jun
'08
10:32 p.m.
On Wed, Jun 11, 2008 at 9:18 PM, Guido van Rossum guido@python.org 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."