From 1557b8ec0579548fa545129761e3b471ca05030c Mon Sep 17 00:00:00 2001 From: Robbot Date: Wed, 17 Jan 2024 18:02:21 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 115cae3..997f9c8 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 115cae3af735f0645d78fa58f570c14087419594 +Subproject commit 997f9c8fd49577ef5ff796af6464bf1dfb43b728