From 1f8a25d9cdcdf5d6081a74be5bf2679f382f3447 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 5 Oct 2020 23:59:12 +0200
Subject: [PATCH] fix prebuilt link

---
 doc/prebuilt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/prebuilt b/doc/prebuilt
index 99c167bc4..0f9a3b59a 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 99c167bc448cfa864e475cd43fe5fb7a7ba0aaa5
+Subproject commit 0f9a3b59aa49f46771c10a3d30528034ad49b3a8