From eb86b06ad45878e03b5ae73d90c0b9f8c88ad9be Mon Sep 17 00:00:00 2001 From: Robbot Date: Fri, 12 Jan 2024 18:05:07 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index c57b791..a0292d9 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit c57b79155032e41364c196bdc1d54143f1a6dd22 +Subproject commit a0292d9a16c4d2569efad4f3eb5cdbffb4c8f76c