From 924968a095edf5c4ad5033215707ba7dbd6d1453 Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 24 Sep 2024 08:50:07 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 27e788d..a43f74e 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 27e788d76d44ce4413441ab80a565fd66255a1c9 +Subproject commit a43f74efd01f03563644856e7fd08c12fcc8f4a7