From 7cc8f88d01bc8261882063a834b70dbdeeb558e5 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Sun, 8 Aug 2021 22:09:22 +0200 Subject: [PATCH] update prebuilt --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/prebuilt b/doc/prebuilt index e306092a5..979a25309 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit e306092a5315336c103191ac9fa79a180a10c20d +Subproject commit 979a25309ea31a472868df139bb49df81dc4203d