From b380a6077066d4e982e0a6f9e83457f3e4810351 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Fri, 8 Sep 2023 19:58:22 +0200 Subject: bump submodule: --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/prebuilt b/doc/prebuilt index 8452f991..a276ab43 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 8452f991dd967328207fab52a99beb19e2cb4dff +Subproject commit a276ab43796c1c7dca7d256e19e86c4ef9f3b935 -- cgit v1.2.3