From ab594d1c13b121e2fe836bb529ee599ace07089e Mon Sep 17 00:00:00 2001 From: Robbot Date: Wed, 17 Jan 2024 14:10:09 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 66a400b..5009b0f 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 66a400bc14dbc729f18cb135e50b79019ef80c2c +Subproject commit 5009b0fc4862c43ced795f3067145f84569cfac5