From 80bc390ada309c41e4c8bb3adaeacc86b2ee2440 Mon Sep 17 00:00:00 2001 From: Robbot Date: Sun, 16 Jun 2024 09:57:07 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 559620d..d2ccc55 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 559620d3758b6d20b013d6fa6d7dfe4696810a82 +Subproject commit d2ccc551d29254950b3db0fd6e2225d6841e16d1