From: Stefano Rivera <stefanor@debian.org>
Date: Mon, 4 Nov 2019 17:29:44 -0800
Subject: Remove unused intersphinx_mapping

---
 docs/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index 3e80f8f..db91f65 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -281,4 +281,4 @@ linkcheck_ignore = [
 ]
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {"https://docs.python.org/": None}
+#intersphinx_mapping = {"https://docs.python.org/": None}
