From b5e8a6810ac6f81a1dd7857e8a84996c06259ad4 Mon Sep 17 00:00:00 2001 From: devops <devops@runtimeverification.com> Date: Fri, 17 May 2024 15:25:26 +0000 Subject: [PATCH] deps/kwasm_release: Set Version 0.1.53 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 9c4d21f..a4c528c 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.52 +0.1.53