Skip to content

Sync typeshed - #5086

Merged
Michael0x2a merged 1 commit into
python:masterfrom
Michael0x2a:sync-typeshed-2018-05-20
May 20, 2018
Merged

Michael0x2a merged 1 commit into
python:masterfrom
Michael0x2a:sync-typeshed-2018-05-20

Conversation

@Michael0x2a

Copy link
Copy Markdown
Collaborator

This time mostly to incorporate python/typeshed#2150

This time mostly to incorporate python/typeshed#2150
@Michael0x2a
Michael0x2a merged commit 22ee713 into python:master May 20, 2018
@Michael0x2a
Michael0x2a deleted the sync-typeshed-2018-05-20 branch May 20, 2018 19:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants