From 6472b5f0661cb44480c3a5d278638af701c3e325 Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 17 Sep 2024 11:43:59 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 5620fca..17b2ad7 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 5620fca67ffa4a39c6e14251ececbc06ea7eddea +Subproject commit 17b2ad7834ddea31e88aa4ed1ec43bd2fe388d41