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