From ad61cfda2dcb555e856c3449483b5fa8017fa381 Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 21 Nov 2023 13:55:12 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index bc13d3f..110f4b7 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit bc13d3f2a5e1eea82f4c3e363518e78e7603229c +Subproject commit 110f4b780f4b6979eb91da5af65c4400f3e68222