From 0892484b42fa276c485f2bd6f58b65f92a807a21 Mon Sep 17 00:00:00 2001 From: Martin Schanzenbach Date: Fri, 9 Sep 2022 13:03:01 +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 f8ddc08f3..93d463e05 160000 --- a/doc/sphinx +++ b/doc/sphinx @@ -1 +1 @@ -Subproject commit f8ddc08f36a9b76196c9b067ea8983672456a716 +Subproject commit 93d463e05f7b04cf1b3e1e580bae68f37751641d -- cgit v1.2.3