From d062b5fce5744bc73a07dc2d1efe96fd8242c2b0 Mon Sep 17 00:00:00 2001 From: Robbot Date: Thu, 25 Jan 2024 08:12:29 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 70b5772..2003765 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 70b5772f56179d3056b87487b927120a8208d233 +Subproject commit 20037658b210a2871a54ce798c480f4052991c54