Guido van Rossum wrote: > It was already patched by the other Georg. Thanks for the quick fix, georgbot!
My pleasure, even if there's a difference between "Georg" and "Gregor" ;) cheers, Georg _______________________________________________ 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
