From 3fb57b98decf54f0da6d276c7d1aa707cb15796c Mon Sep 17 00:00:00 2001 From: Robbot Date: Thu, 8 Aug 2024 07:12:57 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index bb20a3a..7ccdd1c 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit bb20a3a2efeb5aec2e2e62ae941a409e05e6a0ac +Subproject commit 7ccdd1c13aa1baee2f1197b6e313c70e3a16cd12