From 8afe2a17f05ce158f854d1be7af8ec058c0da08b Mon Sep 17 00:00:00 2001
From: Christian Grothoff <grothoff@gnunet.org>
Date: Sat, 14 Oct 2023 00:14:03 +0200
Subject: make stefan_lin a float, as it should have been in the first place

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

(limited to 'doc')

diff --git a/doc/prebuilt b/doc/prebuilt
index 1576678c0..09a33a50d 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 1576678c0f195e07c1e1d84a9952ccd17106c0ec
+Subproject commit 09a33a50d9b3b400f8a515082c888918cbf4e1b5
-- 
cgit v1.2.3