(original) (raw)
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.On Mon, Nov 13, 2017 at 7:58 AM, Ivan Levkivskyi <levkivskyi@gmail.com> wrote:
IvanThanks Ethan for all the work!I will be glad to see this accepted and implemented in mypy.
--
\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
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)