6 Dec
2017
6 Dec
'17
4:57 p.m.
Please add Ivan to the Developer Log in Dev Guide, and he should subscribe to python-committers mailing list :)
On Dec 6, 2017 8:44 AM, "Guido van Rossum" guido@python.org wrote:
I think I figured it out -- I invited him to the python org on GitHub. Anything else?