From 6747f60d33ec0b8a9ff3d8e1cbbc49d131eacb4c Mon Sep 17 00:00:00 2001 From: Robbot Date: Sat, 22 Jun 2024 16:19:54 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 749d8c4..ba12ac8 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 749d8c4c227f93fb8a80af4dfa74747b0baf6e28 +Subproject commit ba12ac80e6aacdef79edaa581bc7e5acb02aee99