From 496492b1d42f32b10fb15ce16670319f4fe78bed Mon Sep 17 00:00:00 2001 From: Robbot Date: Tue, 12 Mar 2024 14:44:38 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index fa2c4c2..39e8605 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit fa2c4c20d91c5fb49465cdf27c5e9f1d68d74c7a +Subproject commit 39e86050f5da695aebfae4167eb814fb4273c6ed