Skip to content

update dev -- notably mypy 2.0#1553

Merged
hynek merged 1 commit into
mainfrom
update-dev-mypy-2
May 7, 2026
Merged

update dev -- notably mypy 2.0#1553
hynek merged 1 commit into
mainfrom
update-dev-mypy-2

Commits

Commits on May 7, 2026