From 5f99061d353a20a7e82b837b4f8504534ed2f287 Mon Sep 17 00:00:00 2001
From: Jon Duckworth <duckontheweb@gmail.com>
Date: Tue, 22 Feb 2022 10:47:22 -0500
Subject: [PATCH] Ignore missing sphinx.util type stubs

---
 mypy.ini | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/mypy.ini b/mypy.ini
index 2ad047526..ffdd91a23 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -7,3 +7,6 @@ ignore_missing_imports = True
 
 [mypy-setuptools.*]
 ignore_missing_imports = True
+
+[mypy-sphinx.util]
+ignore_missing_imports = True