Update dependency: deps/k_release (#334)

* deps/k_release: v5.2.21 * deps/k_release: v5.2.27 * deps/k_release: v5.2.30 * deps/k_release: v5.2.31
runtimeverification · Dec 3, 2021 · 55d1ffb · 55d1ffb
1 parent 22583a7
commit 55d1ffb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-v5.2.14
+v5.2.31