![](https://secure.gravatar.com/avatar/047f2332cde3730f1ed661eebb0c5686.jpg?s=120&d=mm&r=g)
Thanks for doing this, Paul! I think this is a fine PEP and I have no comments. (Note that I am not much of a Windows user so I am just taking most of the things you claim at face value. :-) I will accept the PEP in 1-3 days unless a storm of objections gets piled onto this thread. --Guido On Sat, Feb 21, 2015 at 1:31 AM, Paul Moore <p.f.moore@gmail.com> wrote:
The discussion on PEP 486 (started at https://mail.python.org/pipermail/python-dev/2015-February/138171.html, following from the thread at https://mail.python.org/pipermail/python-dev/2015-February/138160.html) seems to have died down. There's an implementation at http://bugs.python.org/issue23465.
So, I think this is ready for pronouncement.
Thanks, Paul _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/guido%40python.org
-- --Guido van Rossum (python.org/~guido)