From 2b1cd6fa1d77f16b7592f4a632901b9db7b6136f Mon Sep 17 00:00:00 2001 From: tc Date: Thu, 3 Aug 2023 19:22:44 +0200 Subject: [PATCH] Update to latest Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index e6759fe..298c938 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit e6759fef09d73bab4f9280b24dbacbedaa3ee46e +Subproject commit 298c93897b9f3604ee9c146fc55dcc0db111fb63