diff options
| -rw-r--r-- | Tools/clinic/requirements-dev.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/clinic/requirements-dev.txt b/Tools/clinic/requirements-dev.txt index 7e0aa37..1549340 100644 --- a/Tools/clinic/requirements-dev.txt +++ b/Tools/clinic/requirements-dev.txt @@ -1,2 +1,2 @@ # Requirements file for external linters and checks we run on Tools/clinic/ in CI -mypy==1.2.0 +mypy==1.3.0 |