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