From bbb5ea7ffdc039cd78683e1888334bfff285b13d Mon Sep 17 00:00:00 2001 From: Robbot Date: Thu, 11 Apr 2024 12:10:38 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 2c79b4d..4a052e5 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 2c79b4d3f395533fa8d5b1a4a79c6d6c799ec895 +Subproject commit 4a052e5b3790fb84d0d3a24b54edec3373fdad43