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