On Dec 6, 2017, at 11:57, Mariatta Wijaya email@example.com wrote:
On Dec 6, 2017 8:44 AM, "Guido van Rossum" firstname.lastname@example.org wrote:
I think I figured it out -- I invited him to the python org on GitHub. Anything else?
Please add Ivan to the Developer Log in Dev Guide, and he should subscribe to python-committers mailing list :)
It should all be here in the Devguide:
-- Ned Deily email@example.com --