From 3b90f2b79a0423f0ce047b037e4233b6ebfd3973 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Mon, 29 Jul 2024 09:02:36 -0600
Subject: [PATCH] Update dependency: deps/k_release (#3984)

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index f76dc70dd5..33d69618b3 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.64
+7.1.85