From 81c839a86fde966bff8c4e039d2bee96cd5d8955 Mon Sep 17 00:00:00 2001 From: Robert Konrad Date: Mon, 4 Mar 2024 23:10:36 +0100 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index a3479b5e..527ba1ed 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit a3479b5eef79856eea02e40f610f2c774aba7167 +Subproject commit 527ba1ede47925a7132b753552eafd057dcdf644