From 952e8765704cd48fc86fd19a778bec03c2743b54 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Thu, 7 Mar 2024 10:12:08 +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 60ccf04bb..cc7826233 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 60ccf04bb3579c249a899c4ae88e120acda13c83 +Subproject commit cc7826233a726fa2a4faae47731309198ef79442 -- cgit v1.2.3