From e3a8978f1f788bb2cfa3d6a4c75af255d07601e3 Mon Sep 17 00:00:00 2001 From: yvain Date: Wed, 31 Jan 2024 23:48:20 +0100 Subject: [PATCH] checkout Kinc to 830af1. --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 10622ca13..83af1a742 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 10622ca13d7440fc3963ecb0b7c41da79202f299 +Subproject commit 83af1a7421465c4d904ba31c8ba6433e2c35d65f