From 5c73a7c2608bc4ddeeadcd4dd0317bab1dab0295 Mon Sep 17 00:00:00 2001 From: Robbot Date: Wed, 8 Nov 2023 15:10:48 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index a4049a5..7b0a981 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit a4049a5ac994f629463ff5d4ec6f26849610998c +Subproject commit 7b0a9817cc4c809f7e3b6e62d5199078fafe3fc2