From 3807a37845f13bba867a72c196a7c8fd063f60a2 Mon Sep 17 00:00:00 2001 From: Robbot Date: Fri, 2 Feb 2024 13:13:12 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index b4d0aed..1d01456 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit b4d0aed0e1c6dc9ab52df259a976cea50cb00011 +Subproject commit 1d014561fdfb2a83ce867c021afdee7339bb6939