Skip to content

Minor mypy refinement: one more module is strict#903

Merged
sirosen merged 1 commit intoglobus:mainfrom sirosen:more-mypyDec 6, 2023

Commits

Commits on Dec 6, 2023