From 4253228ec3b0a4c51c422c1b2317795ece4b88b7 Mon Sep 17 00:00:00 2001 From: Robert Konrad Date: Sun, 10 Mar 2024 16:29:24 +0100 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 527ba1ede..fa2c4c20d 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 527ba1ede47925a7132b753552eafd057dcdf644 +Subproject commit fa2c4c20d91c5fb49465cdf27c5e9f1d68d74c7a