From bd49c3c2efad25707eb95b7a68b19d886c9e4f7e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Freitag?= <mail@franek.fr>
Date: Mon, 5 Oct 2020 08:32:26 +0200
Subject: [PATCH] Outdated comment in docs config for intersphinx

Intersphinx is in use since 6a396c7eb85e4f2e2291652c454352bad1a397f4.
---
 doc/conf.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/doc/conf.py b/doc/conf.py
index f62e02a34..74e5a8b80 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -110,8 +110,6 @@ texinfo_documents = [
      1),
 ]
 
-# We're not using intersphinx right now, but if we did, this would be part of
-# the mapping:
 intersphinx_mapping = {'python': ('https://docs.python.org/3/', None)}
 
 # Sphinx document translation with sphinx gettext feature uses these settings: