From 581a862293a6bf57aac11786f14dd8f89c916d48 Mon Sep 17 00:00:00 2001 From: Robbot Date: Sun, 11 Aug 2024 15:30:26 +0000 Subject: [PATCH] Update Kinc --- Kinc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Kinc b/Kinc index dc802e9..a72b561 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit dc802e96e12b65b8f8920b629cdf8aef14992fe3 +Subproject commit a72b56156ff54167d0f656d8d3671109bb7cfe05