From 0d0e18419daa444f543654a0154026f159d9e277 Mon Sep 17 00:00:00 2001 From: Robbot Date: Thu, 11 Jan 2024 10:50:05 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 6c012b7..c57b791 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 6c012b7878c5ff8c8bc9145df06edaff3ed23877 +Subproject commit c57b79155032e41364c196bdc1d54143f1a6dd22