From 7828630a30df009301efb376faa3e48d5cb6ff1d Mon Sep 17 00:00:00 2001 From: Robbot Date: Wed, 31 Jan 2024 13:01:28 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 83af1a7..47372b3 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 83af1a7421465c4d904ba31c8ba6433e2c35d65f +Subproject commit 47372b3f8c3282d6545b00c1cd1230e10f586029