From 979e635e2a90de7be525c1a9608663340fd1465f Mon Sep 17 00:00:00 2001 From: Robbot Date: Fri, 9 Aug 2024 20:07:49 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 7ccdd1c..dc802e9 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 7ccdd1c13aa1baee2f1197b6e313c70e3a16cd12 +Subproject commit dc802e96e12b65b8f8920b629cdf8aef14992fe3