Skip to content

Bump mypy; fix mypy failure#9171

Merged
crusaderky merged 1 commit intodask:mainfrom
crusaderky:lint
Dec 30, 2025
Merged

Bump mypy; fix mypy failure#9171
crusaderky merged 1 commit intodask:mainfrom
crusaderky:lint

Commits

Commits on Dec 30, 2025