From a6aa4a8727fa956475f8c65e0345368a817db938 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Fri, 8 Sep 2023 19:57:45 +0200 Subject: bump prebuilt --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/prebuilt b/doc/prebuilt index 47cd9e96c..a276ab437 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 47cd9e96ca2b3ff39db16e667fb9a63652970628 +Subproject commit a276ab43796c1c7dca7d256e19e86c4ef9f3b935 -- cgit v1.2.3