From 0b1d58342a72777f599f3c49e894aad4930b2bc0 Mon Sep 17 00:00:00 2001
From: Antoine Lambert <anlambert@softwareheritage.org>
Date: Fri, 17 Feb 2023 19:01:06 +0100
Subject: [PATCH] devel/developer-setup: Bump mypy to 1.0.1

Related to swh/meta#4960
---
 docs/devel/developer-setup.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/devel/developer-setup.rst b/docs/devel/developer-setup.rst
index f71d0515..1ddba215 100644
--- a/docs/devel/developer-setup.rst
+++ b/docs/devel/developer-setup.rst
@@ -105,7 +105,7 @@ Checkout all the swh packages source repositories::
 
 Use the same mypy version our tox containers use::
 
-    (swh) ~/swh-environment$ pip install mypy==0.942
+    (swh) ~/swh-environment$ pip install mypy==1.0.1
 
 In the future you can re-activate the created virtualenv with::
 
-- 
GitLab