From de715e9b61e2f356e4b6196348b6050bd1a5149e Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 4 Feb 2025 13:36:22 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 3de8f20..2488379 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 3de8f2014c9ae3c618706ef76e14059773277a26 +Subproject commit 248837900a5c505715c0e5630debdb70e57bdfcd