From 35b2d6c3163bff02f1820ecd9d69f19f8b5cf7b2 Mon Sep 17 00:00:00 2001 From: Martin Schanzenbach Date: Fri, 5 Aug 2022 09:50:23 +0200 Subject: -update submodule --- doc/sphinx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/sphinx b/doc/sphinx index eaa72f644..18f809556 160000 --- a/doc/sphinx +++ b/doc/sphinx @@ -1 +1 @@ -Subproject commit eaa72f6448b5af43dc65cffedc0ee5a45c3292be +Subproject commit 18f809556da253ad86f1ce889115fd55e4ea539b -- cgit v1.2.3