diff options
| -rw-r--r-- | Tools/requirements-dev.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/requirements-dev.txt b/Tools/requirements-dev.txt index 591baac..4107dc8 100644 --- a/Tools/requirements-dev.txt +++ b/Tools/requirements-dev.txt @@ -1,6 +1,6 @@ # Requirements file for external linters and checks we run on # Tools/clinic, Tools/cases_generator/, and Tools/peg_generator/ in CI -mypy==1.7.0 +mypy==1.7.1 # needed for peg_generator: types-psutil==5.9.5.17 |