From 04a9dcf1fde362c693c5807d77a4edd369865b4d Mon Sep 17 00:00:00 2001 From: Robbot Date: Thu, 21 Dec 2023 21:26:53 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 941f543..eff76c5 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 941f543cab5353cbf127c6e237dd5effde52de52 +Subproject commit eff76c5061d6ab054109a0c4a0d39f6264677b58