From e6b03aa4725b8230dd18d56fa7e5680cda9fc674 Mon Sep 17 00:00:00 2001 From: Robbot Date: Thu, 5 Oct 2023 15:40:49 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index cc3ece8..36eb49b 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit cc3ece854b8c7b8252c8f155fc9510da8a6f9fa2 +Subproject commit 36eb49b497a3c5f652d3c00e234bd883965538b6