Skip to content

Fix mypy errors in people.py#193

Merged
tianyizheng02 merged 1 commit intodevfrom mypy-peopleAug 25, 2024

Commits

Commits on Aug 11, 2024