From 3507cb9b045d0c803c978c2b207b6afb5c59799d Mon Sep 17 00:00:00 2001 From: Robbot Date: Fri, 6 Oct 2023 16:04:36 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index b464fd6..a6431f9 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit b464fd6db77eac3ffa49f94afc98232ab53c2bcb +Subproject commit a6431f983b1d0935b1254f200ef4d50b7177cdc8