From 3c9d0e7b78014d448d7be0bbee3c1e83e9baa473 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Sun, 3 Mar 2024 11:53:52 +0100 Subject: implement #8357 --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/prebuilt b/doc/prebuilt index 300a4693..60ccf04b 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit 300a469342ba879b16ff93aaaf170fa1b88e75fb +Subproject commit 60ccf04bb3579c249a899c4ae88e120acda13c83 -- cgit v1.2.3