From 5ab4d4a5476c2db4160bdd467f1c5dbf83f840b8 Mon Sep 17 00:00:00 2001 From: Martin Schanzenbach Date: Thu, 8 Sep 2022 23:52:57 +0200 Subject: DOC: Update --- doc/sphinx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/sphinx b/doc/sphinx index 5cceee031..f8ddc08f3 160000 --- a/doc/sphinx +++ b/doc/sphinx @@ -1 +1 @@ -Subproject commit 5cceee031ff02fa51953dbd8f3ce5d78992a93c3 +Subproject commit f8ddc08f36a9b76196c9b067ea8983672456a716 -- cgit v1.2.3