Merge branch '7.5' into 8.5

sebastianbergmann · sebastianbergmann · commit 0edab304b02c · 2021-11-17T08:30:32.000+01:00
diff --git a/src/conf.py b/src/conf.py
@@ -140,7 +140,7 @@ def get_version():
 # Add any paths that contain custom themes here, relative to this directory.
 #html_theme_path = ['_templates']
 
-html_add_permalinks = ""
+#html_add_permalinks = ""
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".
