developer-setup: Mention the current mypy version we use
Closed
requested to merge generated-differential-D7054-source into generated-differential-D7054-target
- Feb 01, 2022
-
-
Antoine R. Dumont authored
To avoid discrepancy with tox when pre-commit is triggered.
-