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 <levkivs...@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@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)
_______________________________________________ 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/archive%40mail-archive.com
