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

Commits

Commits on Nov 13, 2023