From 59cfcf79451c6d8176cfbd3dc1f7c39f28031fb5 Mon Sep 17 00:00:00 2001 From: Robert Konrad Date: Fri, 8 Sep 2023 12:08:29 +0200 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 0576322fe..05834cfd2 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 0576322fea5f7e3726dcc308a9193bb71f0d9cae +Subproject commit 05834cfd2e24d323badd01d2784e328847eb6ab3