From 79d9c7e51881d345609ca3c0fe85980b6ff88ff5 Mon Sep 17 00:00:00 2001 From: Robert Konrad Date: Tue, 29 Aug 2023 23:29:59 +0200 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 14ba5087..0576322f 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 14ba5087a90fa5761a5ce35534ef455b5df19b9e +Subproject commit 0576322fea5f7e3726dcc308a9193bb71f0d9cae