From dee2e83fb4eb44a202887afdfa8e7b3c79964443 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 11 Nov 2023 13:44:34 +0530 Subject: [PATCH] Remove no longer needed monkeypatch --- docs/conf.py | 4 ---- 1 file changed, 4 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index e1e88e920..ed5a556be 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -592,7 +592,3 @@ def setup(app: Any) -> None: app.add_lexer('session', SessionLexer() if version_info[0] < 3 else SessionLexer) app.add_role('link', link_role) app.add_role('commit', commit_role) - # monkey patch sphinx_inline_tabs to avoid a warning about parallel reads - # see https://github.com/pradyunsg/sphinx-inline-tabs/issues/26 - inline_tabs = app.extensions['sphinx_inline_tabs'] - inline_tabs.parallel_read_safe = inline_tabs.parallel_write_safe = True