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
runtimeverification · Jul 22, 2020 · 6c91921 · 6c91921
1 parent 0b5331f
commit 6c91921
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-v5.0.0-ab078f6
+v5.0.0-bbc70cb