From 45011df6d96b0cf5db7d552eb2fbd130bcbe1e71 Mon Sep 17 00:00:00 2001 From: Robbot Date: Mon, 19 Feb 2024 17:04:44 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 3525720..9fbda44 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 352572064428ceb333b3c820140b95a9b9545def +Subproject commit 9fbda44329495cfef1f0effc3800e97a8d56d7ff