From 2dfb07a571817911cb658394b1d1578ed3bb0d9a Mon Sep 17 00:00:00 2001 From: Robbot Date: Sun, 9 Jun 2024 19:06:03 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 883fef8..adab182 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 883fef86aa0a93c0dd72449e89fcbe27605efbfa +Subproject commit adab18298bef209c1ac1d1030f95cc4a64f8798b