On Fri, Jun 13, 2008 at 11:31 PM, <skip at pobox.com> wrote: >>>>>> "Guido" == Guido van Rossum <guido at python.org> writes: >> Guido> Ow. definitely. >> Yes. If I have some time Saturday and nobody beats me to it I'll fix this. Sorry, it seems I've beaten you. :) -- Cheers, Benjamin Peterson "There's no place like 127.0.0.1."