Marco Ricci
Fix usage of `mypy --python-version=3.9` and friends
Marco Ricci commited 032d431 at 2025-01-16 01:28:57