From 4b749329a9a428c352d7bf1b4b0748eae651db29 Mon Sep 17 00:00:00 2001
From: Christoph Reiter <reiter.christoph@gmail.com>
Date: Sat, 26 Feb 2022 16:23:40 +0100
Subject: [PATCH] docs: silence some wrong extlinks warnings

See https://github.com/sphinx-doc/sphinx/issues/10112
---
 docs/conf.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/conf.py b/docs/conf.py
index 96f83739..710952b7 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -4,6 +4,10 @@
 import types
 import sys
 
+from sphinx.util import logging
+
+# https://github.com/sphinx-doc/sphinx/issues/10112
+logging.getLogger('sphinx.ext.extlinks').setLevel(40)
 
 dir_ = os.path.dirname(os.path.realpath(__file__))