Skip to content

Fix mypy errors in dining.py#200

Merged
tianyizheng02 merged 2 commits intodevfrom mypy-diningAug 25, 2024

Commits

Commits on Aug 18, 2024