From ec556b8e86b31cb45f11c008d3dc3365b5ac8582 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 17 Nov 2023 15:21:33 +0100
Subject: idea from Emmanuel

---
 inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'inc')

diff --git a/inc b/inc
index 2b72c7f5..218f02cf 160000
--- a/inc
+++ b/inc
@@ -1 +1 @@
-Subproject commit 2b72c7f57d318271856f992eb2e58c133ae5179e
+Subproject commit 218f02cfc0453a0d4cc067ba9256123a675040ce
-- 
cgit v1.2.3