developer-setup: Upgrade new mypy pinned version

551fd266 · Antoine R. Dumont · a302d641 · 551fd266
Verified Commit 551fd266 authored 2 years ago by Antoine R. Dumont
--- a/docs/developer-setup.rst
+++ b/docs/developer-setup.rst
@@ -96,7 +96,7 @@ Checkout all the swh packages source repositories::

 Use the same mypy version our tox containers use::

-    (swh) ~/swh-environment$ pip install mypy==0.920
+    (swh) ~/swh-environment$ pip install mypy==0.942

 In the future you can re-activate the created virtualenv with::