[Python-Dev] PEP 561 rework (original) (raw)
Guido van Rossum guido at python.org
Mon Nov 13 18:29:35 EST 2017
- Previous message (by thread): [Python-Dev] PEP 561 rework
- Next message (by thread): [Python-Dev] PEP 561 rework
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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!
--Guido
On Mon, Nov 13, 2017 at 7:58 AM, Ivan Levkivskyi <levkivskyi at gmail.com> wrote:
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>
- Previous message (by thread): [Python-Dev] PEP 561 rework
- Next message (by thread): [Python-Dev] PEP 561 rework
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]