> So... should I go ahead and push anyway, or is there anything else > I should be doing as part of the change?
Go ahead! Martin _______________________________________________ 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
