From deb5097c951894f06d571b5802c949df75c1ab7b Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 7 Mar 2024 11:58:24 +0100
Subject: bump

---
 doc/prebuilt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/prebuilt b/doc/prebuilt
index 76a0b433..af8c69df 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 76a0b43311a1dae141e6b903e9d465da3be19ae7
+Subproject commit af8c69dfe397ff4bed7abca98ed8f3b2ed70541b
-- 
cgit v1.2.3