From a5451527cb26d876388567dc26113a83e0b79e15 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Tue, 11 Jul 2023 20:36:52 +0200 Subject: implement 'lost' field for #7883 --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/prebuilt') diff --git a/doc/prebuilt b/doc/prebuilt index fa4729db5..66e99d09d 160000 --- a/doc/prebuilt +++ b/doc/prebuilt @@ -1 +1 @@ -Subproject commit fa4729db5637c82d5fc6f5bb7021f6c350c8c5a6 +Subproject commit 66e99d09d4351bb6e6c5fd442f14ec7cf1363a81 -- cgit v1.2.3