Skip to content

Sync typeshed - #5071

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

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

Conversation

@Michael0x2a

Copy link
Copy Markdown
Collaborator

Syncs typeshed, mostly to pull in some tweaks I made that makes typeshed compatible with both the current and proposed overload semantics.

Syncs typeshed, mostly to pull in some [tweaks I made][0] that makes
typeshed compatible with both the current and [proposed][1] overload
semantics.

  [0]: python/typeshed#2138
  [1]: python/typing#253 (comment)
@ilevkivskyi
ilevkivskyi merged commit eaa16f3 into python:master May 17, 2018
@Michael0x2a
Michael0x2a deleted the sync-typeshed-2018-05-17 branch July 9, 2018 04:18
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