From c3ee2883460ee7b37dea4a252fd052b8e6ff8f89 Mon Sep 17 00:00:00 2001 From: Robbot Date: Sat, 10 Feb 2024 16:54:58 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 6096309..142c80b 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 6096309fb6cbea4f114e822abbc87e46285ce9d4 +Subproject commit 142c80b9a027c197a661a9a4169e07014cfe4524