[Python-Dev] Finger error -- my apologies

Guido van Rossum guido@digicool.com
Thu, 01 Mar 2001 13:40:58 -0500


> I meant to accept this patch, but I think I rejected it instead.
> Sorry, Ping.  Resubmit, plese, if I fooed up?

There's no need to resubmit -- you should be able to reset the state
any time.  I've changed it back to None so you can try again.

--Guido van Rossum (home page: http://www.python.org/~guido/)