From 9b20efeb811dbf1c3aacb095e1fa392c3e42b040 Mon Sep 17 00:00:00 2001 From: Robbot Date: Sat, 16 Mar 2024 16:49:37 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index d0b67d5..cb34e5b 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit d0b67d54393989cd30ee343a1380cbdd2a1b2fa5 +Subproject commit cb34e5b1e4710c3579c83bacfb457987d924a885