From ad41170bbfcad811f571df34ab65179dd3c23874 Mon Sep 17 00:00:00 2001 From: Robbot Date: Sat, 31 Aug 2024 16:41:13 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index bc0c0f8..98d40a7 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit bc0c0f8844f0dd8800b4a1c794ad98d4b3f9389a +Subproject commit 98d40a745984157b6bc85fddc1d8ff27d061b204