From de4b20a8512e12c3a4491b7cb41517e02ad78d21 Mon Sep 17 00:00:00 2001 From: Robert Konrad Date: Sat, 3 Feb 2024 17:24:43 +0100 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index b530f963..05b3ff41 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit b530f9639e66b1405c439517c64e743de7a6f48c +Subproject commit 05b3ff4115068f8cecb66e40d0baa987361872d3