From f9751f45a56133d5fda1c01a9d37ad97dd2bd4eb Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 4 Feb 2025 16:10:51 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 2488379..b08c608 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 248837900a5c505715c0e5630debdb70e57bdfcd +Subproject commit b08c608d39d2269f1d214f2f38069cc6822623c3