From 41f41786a95db9e39ba70c33b1719f96c8311490 Mon Sep 17 00:00:00 2001 From: Robbot Date: Thu, 14 Mar 2024 16:16:57 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index a2aa42f..c4e7403 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit a2aa42f0179d55b7def6c7863ea27b8cf332d59d +Subproject commit c4e740345c0d16b175dedea1f81cb3b74ddc5a22