New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Sync typeshed #5742

Merged

gvanrossum merged 1 commit into python:master from gvanrossum:syncts

Oct 5, 2018

Member

gvanrossum commented Oct 5, 2018 •

edited

Loading

Last one planned for release 0.640 (see #5741)


          Sync typeshed

d009f0d

gvanrossum merged commit 0bee509 into python:master

gvanrossum deleted the syncts branch

October 5, 2018 17:29

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet