developer-setup: Upgrade new mypy pinned version
That's the version devs must use in our venv now to avoid inconsistencies in behavior with pre-commit and/or our $EDITOR.
Migrated from D7714 (view on Phabricator)
That's the version devs must use in our venv now to avoid inconsistencies in behavior with pre-commit and/or our $EDITOR.
Migrated from D7714 (view on Phabricator)