Skip to content

Sync typeshed - #13831

Merged
hauntsaninja merged 3 commits into
python:masterfrom
cdce8p:sync-typeshed
Oct 7, 2022
Merged

Sync typeshed#13831
hauntsaninja merged 3 commits into
python:masterfrom
cdce8p:sync-typeshed

Conversation

@cdce8p

Copy link
Copy Markdown
Collaborator

Source commit:
python/typeshed@8b41b13

Reapply #13743 to remove use of LiteralString.

@github-actions

This comment has been minimized.

@github-actions

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@hauntsaninja
hauntsaninja merged commit 589ad1c into python:masterOct 7, 2022
@cdce8p
cdce8p deleted the sync-typeshed branch October 7, 2022 09:47
Sign up for freeto 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

@cdce8p@hauntsaninja