From 54cd74ca7f1288fdf165772f3edc3a70bf6f8cf7 Mon Sep 17 00:00:00 2001 From: Robbot Date: Wed, 24 Jan 2024 16:37:52 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index a0be039..c308de9 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit a0be039b8e4b752a18a309526ee968e4be19d6dd +Subproject commit c308de9a45a0cfa6076ec18f6cc400e0a67758b9