From 69f53aaceaae65ce8afeb9fd5f8eb6c2d64d5036 Mon Sep 17 00:00:00 2001 From: Robert Konrad Date: Fri, 25 Aug 2023 19:06:06 +0200 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index d90b7478b..14ba5087a 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit d90b7478b192c8270e0ee32c0c3ee18977becd7a +Subproject commit 14ba5087a90fa5761a5ce35534ef455b5df19b9e