From c7b14583cb9c36030efb153b56a198f3debeb3fb Mon Sep 17 00:00:00 2001 From: Robbot Date: Thu, 5 Oct 2023 17:24:27 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index f5b9f65..69241e8 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit f5b9f654246e8f7c8303f74f8fdf6b13b889a9ba +Subproject commit 69241e868957687e4eb09453829fd003325c530d