Merge branch 'main' into sam/llvm-kmap-injection-fix-partial-revert

runtimeverification · Dec 11, 2023 · 0eee038 · 0eee038
2 parents aae3e2f + 0f4af13
commit 0eee038
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.1.21
+6.1.52