[Python-Dev] Changing the Division Operator -- PEP 238, rev 1.12

[Guido van Rossum]

> I've uploaded a new patch, which takes Tim's suggestion of using the
> _Feature objects and runs with it.  I'd appreciate it if you and Tim
> could cast an eye over it - if you think the apprach is sound then
> I'll update my PEP and draft some changes to 236.

I hope Tim can do this -- I need to take a break from chores.

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