From 35b9892d3f46f3dddba6ce66f4bca551766b5b07 Mon Sep 17 00:00:00 2001 From: Robbot Date: Fri, 12 Jan 2024 18:15:47 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index a0292d9..d46ff88 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit a0292d9a16c4d2569efad4f3eb5cdbffb4c8f76c +Subproject commit d46ff88ffd67cea35434b12dbc20bb3ac7eceed8