From d5c99dba6e556b98aaca0e009ea4eb035f7a2a07 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Fri, 26 Jan 2024 03:42:58 -0700
Subject: [PATCH] Update dependency: deps/k_release (#566)

* deps/k_release: Set Version 6.1.97

* deps/k: sync submodule v6.1.97

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/k         | 2 +-
 deps/k_release | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/deps/k b/deps/k
index 2d4066168..440ff6ddd 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit 2d4066168de57d6f1cdc86c75c5e8135c95236be
+Subproject commit 440ff6ddd6e50db0bfa8af6c5947d7d46967efe1
diff --git a/deps/k_release b/deps/k_release
index 2a48c7b1d..74574bc9e 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.1.96
+6.1.97