Skip to content

Fix mypy error#7

Merged
finsberg merged 1 commit into
mainfrom
finsberg/fix-mypy
Feb 13, 2026
Merged

Fix mypy error#7
finsberg merged 1 commit into
mainfrom
finsberg/fix-mypy

Commits

Commits on Feb 13, 2026