Skip to content

Remove deprecated mypy option#611

Open
jwhonce wants to merge 1 commit intocontainers:mainfrom
jwhonce:wip/mypy_deprecated_option
Open

Remove deprecated mypy option#611
jwhonce wants to merge 1 commit intocontainers:mainfrom
jwhonce:wip/mypy_deprecated_option

Commits

Commits on Dec 16, 2025