From 9f6f7f9124a690cc301fdc1203e530b6f3246a55 Mon Sep 17 00:00:00 2001 From: Carlton Gibson Date: Tue, 3 Dec 2024 09:18:33 +0100 Subject: [PATCH] Fixed typo in extending mypy docs. --- docs/source/extending_mypy.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/extending_mypy.rst b/docs/source/extending_mypy.rst index bded07319b64..0df45ea22d33 100644 --- a/docs/source/extending_mypy.rst +++ b/docs/source/extending_mypy.rst @@ -245,4 +245,4 @@ Mypy ships ``mypy.plugins.proper_plugin`` plugin which can be useful for plugin authors, since it finds missing ``get_proper_type()`` calls, which is a pretty common mistake. -It is recommended to enable it is a part of your plugin's CI. +It is recommended to enable it as a part of your plugin's CI.