From f1e040d24fe2f5b40ceda910ea206da7d978ade2 Mon Sep 17 00:00:00 2001 From: Robert Konrad Date: Thu, 2 Nov 2023 18:00:17 +0100 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 79656b03..8afadcf8 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 79656b039f121495f689a6286002c9152b1c0238 +Subproject commit 8afadcf8c523ef4f4bba8cc6f1c4eaeddbd304c7