From 579cae160402ac39012332ea907887c3664fbdd1 Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 20 Feb 2024 12:44:03 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 9fbda44..ecb768f 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 9fbda44329495cfef1f0effc3800e97a8d56d7ff +Subproject commit ecb768f619a898776ab2b7acede620beaaf582d8