From 7f51b63bb4c7cf943187bf364df2e39ac4f017fe Mon Sep 17 00:00:00 2001 From: Robert Konrad Date: Thu, 5 Oct 2023 17:43:11 +0200 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index a2f5e87e..3cdf4391 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit a2f5e87ead680706b4d92298af289884e5370713 +Subproject commit 3cdf439145c46e271150872c83c983f981f3ed9c