From a2e9f4796ba955a702788b7c6e666005cfc5b708 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 30 Jan 2024 19:55:00 +0000
Subject: [PATCH] deps/k: sync submodule v6.1.103

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

diff --git a/deps/k b/deps/k
index 4323171c1..a5228f1c1 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit 4323171c1c16a3027904586e7a3c9c5adf90db54
+Subproject commit a5228f1c14e590008f50c2f1eefd0e12c0dfd8b6