From 1c5498124a71652f17eee99cbf52add0a8febd3a Mon Sep 17 00:00:00 2001 From: Robbot Date: Mon, 10 Jun 2024 18:15:11 +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