From 6c9192141525d498ef9c4e41a397d27c09b3e08e Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Wed, 22 Jul 2020 18:21:49 -0500
Subject: [PATCH] Update dependency: deps/k_release (#112)

* deps/k_release: v5.0.0-f425890

* deps/k_release: v5.0.0-1bd3a49

* deps/k_release: v5.0.0-e160771

* deps/k_release: v5.0.0-e698f30

* deps/k_release: v5.0.0-cecacf8

* deps/k_release: v5.0.0-d10c70c

* deps/k_release: v5.0.0-bbc70cb
---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index 468250f9d..fc7d3069f 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-v5.0.0-ab078f6
+v5.0.0-bbc70cb