From a75dd4ef45a2a811942b6cacbfd4c468b41b63f0 Mon Sep 17 00:00:00 2001 From: Robbot Date: Fri, 23 Aug 2024 07:33:45 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 592b5e6..bc0c0f8 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 592b5e6690f586740ccc7cad7054c417e9b0ec72 +Subproject commit bc0c0f8844f0dd8800b4a1c794ad98d4b3f9389a