From f8408c95d9cdd2a0290d1dd24c1e16017b76438c Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 16 Apr 2024 21:54:23 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 4a052e5..d0b13f4 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 4a052e5b3790fb84d0d3a24b54edec3373fdad43 +Subproject commit d0b13f43bcc2b15c81e3d95b420ea5ff46f6ccca