From 1628f0255c78864fa0af05d065ff31449aa92806 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Fri, 8 Jul 2022 15:34:09 +0200 Subject: -note fixme --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/prebuilt b/doc/prebuilt index b988d98d4..1ed97b23f 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit b988d98d4856758484eb23c27bfdc9e602d4235a +Subproject commit 1ed97b23f19c80fa84b21a5eb0c686d5491e8ec6 -- cgit v1.2.3