From acda22206976c112162205ac596d3da575498421 Mon Sep 17 00:00:00 2001 From: Robbot Date: Mon, 22 Jan 2024 15:54:08 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index b7c0b9a..34de282 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit b7c0b9a0bae1ba8e6c5c1bd22915d90d156d93e7 +Subproject commit 34de282e4d464e3d38db919d93296acb5373403a