From 48ea547491a16379480be38716548950b85bedda Mon Sep 17 00:00:00 2001 From: Robbot Date: Sun, 14 Jul 2024 10:43:41 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 4272aa4..358c7b9 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 4272aa48c1ac74fc4c1f6d79ca5898cfe67255cb +Subproject commit 358c7b976b9a424f1ddd7779abc704e1fcb3a28b