From 5551ae8a9933cb68061bd671da42887f7b6bd8b3 Mon Sep 17 00:00:00 2001 From: Robbot Date: Mon, 10 Jun 2024 18:15:15 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 040ffdc..4c5e01e 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 040ffdce855a68256296e5bc2b5e84259f5011c3 +Subproject commit 4c5e01e976549e45a6c738c7e3f8203d9a62f46e