From 5eb17763cce736ae54eac6aa5343a40599b85322 Mon Sep 17 00:00:00 2001 From: Robbot Date: Mon, 10 Jun 2024 18:40:40 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 5f802f0..d861a4f 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 5f802f0982d2dc23b2b933c60ce114f4f9704993 +Subproject commit d861a4f876c9c7236752a40c9ee6b7261c5a33ff