From f7fbbbebab5c849b457557670506471f60f008aa Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 6 Feb 2024 19:08:15 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index d480ddb..32fe1fc 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit d480ddb0c8392d7c37c5de55b7c6d5a72455e00c +Subproject commit 32fe1fc44ab53c0d9b633ad7c65a26e347916737