From 6678ddcf1aef920e2b04a491f086ac721cae07c9 Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@cip.ifi.lmu.de>
Date: Fri, 8 Oct 2021 13:15:07 +0200
Subject: [PATCH] fix(build): bump version numbers for containers

---
 nix/docker/demo-version.json | 2 +-
 nix/docker/version.json      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/nix/docker/demo-version.json b/nix/docker/demo-version.json
index ff9958555..bb84f587d 100644
--- a/nix/docker/demo-version.json
+++ b/nix/docker/demo-version.json
@@ -1,3 +1,3 @@
 {
-  "version": "0.4.0"
+  "version": "0.4.1"
 }
diff --git a/nix/docker/version.json b/nix/docker/version.json
index 715f0f41d..05f4226d1 100644
--- a/nix/docker/version.json
+++ b/nix/docker/version.json
@@ -1,3 +1,3 @@
 {
-  "version": "25.21.13"
+  "version": "25.21.14"
 }