From 6a4ec447d791b2dd705e1099c63b96ae18912d28 Mon Sep 17 00:00:00 2001
From: Grzegorz Placzek <gplaczek@antmicro.com>
Date: Fri, 1 Mar 2024 12:51:18 +0100
Subject: [PATCH] [#55592] Bump wash, update version

---
 Makefile    | 2 +-
 src/VERSION | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index c5c4a3b..9dbf708 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,7 @@ third_party_sources := $(filter-out $(third_party_dist_dir)/enable_threads.js,$(
 
 wash := $(resources_dir)/wash
 wash_md5 := $(resources_dir)/wash.md5
-wash_url := https://github.com/antmicro/wash/releases/download/v0.1.2/wash.wasm
+wash_url := https://github.com/antmicro/wash/releases/download/v0.1.3/wash.wasm
 
 wasibox := $(resources_dir)/wasibox
 wasibox_url := https://github.com/antmicro/wasibox/releases/download/v0.1.1/wasibox.wasm
diff --git a/src/VERSION b/src/VERSION
index 8308b63..5366600 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-v0.1.1
+v0.1.2