From e51a25f4fe73be2899efc01fd86c2ee144e435e8 Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 2 Jan 2024 19:27:16 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 0f554d0..6c012b7 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 0f554d0d5a2be8515341a1fd74c820a0adbbb18f +Subproject commit 6c012b7878c5ff8c8bc9145df06edaff3ed23877