From 23778a6ab13eccd2cbe523dbff0161c54ea0cd38 Mon Sep 17 00:00:00 2001 From: Robbot Date: Wed, 24 Jan 2024 13:11:38 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index d3932f0..f5132f6 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit d3932f0ca90f36a55abb39e4c5a7c40688803d12 +Subproject commit f5132f6ec84d2e64044368d31a4ea551152895c3