From 02723041096cccbf90a32a6d1753970cf04feb70 Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 13 Aug 2024 18:26:04 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index ad74a48..63c5e7a 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit ad74a480ca86936827e7ad65a078f7886830674f +Subproject commit 63c5e7aa9c138451df678f38818ac144b1f10693