From c8c2671cd5be7a83b6bb3473dcfe511de0b8f2c4 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 30 Jan 2024 12:42:02 +0000
Subject: [PATCH] deps/k: sync submodule v6.1.101

---
 deps/k | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k b/deps/k
index 7d5882aa7..4323171c1 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit 7d5882aa7a28139cb733bfadedf36794a360a60b
+Subproject commit 4323171c1c16a3027904586e7a3c9c5adf90db54