From b9e348db3848da764a432d2e07380f6a5102de86 Mon Sep 17 00:00:00 2001
From: Matthias Mohr <webmaster@mamo-net.de>
Date: Wed, 25 Oct 2023 22:03:30 +0200
Subject: [PATCH] v0.12.5

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 6dc9907c7..78e4d7043 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@openeo/web-editor",
-  "version": "0.12.4",
+  "version": "0.12.5",
   "apiVersions": [
     "1.0.0-rc.2",
     "1.0.0",