From 1f8a25d9cdcdf5d6081a74be5bf2679f382f3447 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Mon, 5 Oct 2020 23:59:12 +0200 Subject: fix prebuilt link --- doc/prebuilt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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 -- cgit v1.2.3