From 5363596854de907ffa1430dffd2353d9e9b42044 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Thu, 7 Mar 2024 11:58:36 +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 24a73423d..af8c69dfe 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 24a73423d15103ba92b682a9a7f34e02f31a151d +Subproject commit af8c69dfe397ff4bed7abca98ed8f3b2ed70541b -- cgit v1.2.3