From 05b4c6013b7828803da473b342e5188f160c3037 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 3 Jul 2020 10:56:57 +0200
Subject: update inc

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

diff --git a/inc b/inc
index 5b8718e2..88b0605f 160000
--- a/inc
+++ b/inc
@@ -1 +1 @@
-Subproject commit 5b8718e28143b2b68eb65fba2de14972fedf9160
+Subproject commit 88b0605fa322459f1cce68a1faa0e1e5e862383e
-- 
cgit v1.2.3