[Python-Dev] PEP 561 rework

Guido van Rossum guido at python.org
Mon Nov 13 18:29:35 EST 2017

Hi Ethan!

This is a nice piece of work. I expect to accept it pretty much verbatim
(with some small edits, see https://github.com/python/peps/pull/467). I
agree with Nick that we don't have to do anything specifically about
control of foo_stubs packages -- nor do I think we need to worry about
foo_stubs vs. foo-stubs.

Everyone else: if you think this should not go through, now's the time to
reply-all here!


On Mon, Nov 13, 2017 at 7:58 AM, Ivan Levkivskyi <levkivskyi at gmail.com>

> Thanks Ethan for all the work!
> I will be glad to see this accepted and implemented in mypy.
> --
> Ivan
> _______________________________________________
> Python-Dev mailing list
> Python-Dev at 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20171113/e903f78f/attachment.html>

More information about the Python-Dev mailing list