From f80af7b85c737fdcfe8cc0a6c818310395df96ea Mon Sep 17 00:00:00 2001 From: Robbot Date: Mon, 30 Sep 2024 15:42:41 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 86de08f..d637ced 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 86de08f36be413eba46a6bb493911838ad52dbf6 +Subproject commit d637cedbfb67536a614c44a3c7a7cbfa3c971e76