Skip to content

Update types for mypy 1.7#892

Merged
blink1073 merged 1 commit intoipython:mainfrom
blink1073:update-traitlets-mypy-1-7
Nov 13, 2023
Merged

Update types for mypy 1.7#892
blink1073 merged 1 commit intoipython:mainfrom
blink1073:update-traitlets-mypy-1-7

Conversation

@blink1073
Copy link
Contributor

No description provided.

@blink1073 blink1073 merged commit 5064f4e into ipython:main Nov 13, 2023
@blink1073 blink1073 deleted the update-traitlets-mypy-1-7 branch November 13, 2023 19:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant