Skip to content

Correct typing issue caught by mypy 1.3+#439

Merged
rdimaio merged 1 commit intorucio:mainfrom voetberg:type-checkDec 19, 2024

Commits

Commits on Dec 18, 2024