From 0d1a0f0b9c885240676dde140c204814aa89f7c7 Mon Sep 17 00:00:00 2001 From: Robbot Date: Mon, 5 Feb 2024 15:38:17 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index 4aa0df6..a49a8c6 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 4aa0df6243ddcddf1476b0068e7f7ea16145849a +Subproject commit a49a8c62bcf530775fc1dc03d34eb34e49d3738b